1. Lautenbach, K.: Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen. Gesellschaft für Mathematik und Datenverarbeitung Bonn, Bericht Nr. 82 (1973)
2. Lautenbach, K.: Simple Marked-graph-like Predicate/Transition Nets. Arbeitspapiere der GMD Nr. 41. In: Informatik Fachberichte 66, Bonn (1983)
3. Lecture Notes in Computer Science;K. Lautenbach,2002
4. Lecture Notes in Computer Science;K. Lautenbach,2003
5. Lautenbach, K., Pinl, A.: Probability Propagation in Petri Nets. Fachberichte Informatik 16–2005, Universität Koblenz-Landau, Institut für Informatik, Universitätsstr. 1, D-56070 Koblenz (2005)