-K. Jensen (Ed.): Application and theory of Petri Nets Proceedings 1992, Springer-Verlag 1992