Petri-Netze

	Analyse von Petri- Netz- Modellen. von Peter H. Starke		Unifying Petri Nets. Advances in Petri Nets. von H. Ehrig
	Applications and Theory of Petri Nets 2001. 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings (Lecture Notes in Computer Science Vol. 2075) von Jose-Manuel Colom		Multiset Processing. von C. S. Calude
	Advances in Petri Nets 1993 (Lecture Notes in Computer Science Vol. 674) von Grzegorz Rozenberg		Advances in Petri Nets 1990 (Lecture Notes in Computer Science Vol. 483) von Grzegorz Rozenberg
	Advances in Petri Nets 1991 (Lecture Notes in Computer Science Vol. 524) von Grzegorz Rozenberg		Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science Vol. 625) von Walter Vogler
	FME '93: Industrial-Strength Formal Methods. First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science Vol. 670) von James C.P. Woodcock		CONCUR '96: Concurrency Theory. 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings (Lecture Notes in Computer Science Vol. 1119) von Ugo Montanari
	Application and Theory of Petri Nets 1993. 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings (Lecture Notes in Computer Science Vol. 691) von Marco Ajmone Marsan		Graph Transformations in Computer Science. International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings (Lecture Notes in Computer Science Vol. 776) von Hans J. Schneider
	Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets von Wolfgang Reisig		Application and Theory of Petri Nets 1995. 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings (Lecture Notes in Computer Science Vol. 935) von Giorgio DeMichelis
	Application and Theory of Petri Nets 1996. 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings (Lecture Notes in Computer Science Vol. 1091) von Jonathan Billington		Application and Theory of Petri Nets 1997. 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings (Lecture Notes in Computer Science Vol. 1248) von Pierre Azema
	Realzeit-Programmierung von Ataeddin Ghassemi-Tabrizi		Softwarevalidierung durch Auswertung von Petrinetz-Abläufen. von Thomas Freytag
	Hierarchische Petrinetze . von Rainer Fehling		Petri-Netze für Ingenieure. Modellbildung und Analyse diskret gesteuerter Systeme von Dirk Abel

• Informatik Forum