18962 Jens von Aspern: SPS-Softwareentwicklung mit Petrinetzen. VDE 2003, 420p. Eur 35. 10430 Alexander Borusan: Requirements on Petri net technique from point of view of system development process. Internet ca. 1995, 10p. 18834 Angie Chandler/Anne Heyworth/Lynne Blair/Derek Seward: Testing Petri nets for mobile robots using Gröbner bases. Internet 2000, 13p. 18905 Hugo Costelha/Pedro Lima: Robotic tasks modeling and analysis based on Petri nets. Internet ca. 2005, 4p. Jörg Desel/Andreas Oberweis: Petri-Netze in der Angewandten Informatik - Einführung, Grundlagen und Perspektiven. Wirtschaftsinformatik 38/4 (1996), 359-367. 18859 Claude Girault/Rüdiger Valk: Petri nets for systems engineering. Springer 2003, 600p. Eur 68. 13706 Volker Gruhn/Ursula Wellen: Process landscaping - eine Methode zur Gescha''ftsprozes''modellierung. Wirtschaftsinformatik 42 (2000), 297-309. H.-M. Hanisch: Petri-Netze in der Verfahrenstechnik. Oldenbourg 1992, 190p. 3-486-22190-6. DM 68. 10400 Olaf Kummer: Modellierung eines Aufzugssystems mit Petrinetzen. Studienarbeit Univ. Hamburg 1994, 74p. Tadao Murata: Petri nets - properties, analysis and applications. Proc. IEEE 77 (1989), 541-... 18938 Iacopo Nucci: Gestione automatica del magazzino merci di una pmi. Tesi Univ. Pisa 2005. Andreas Oberweis: Modellierung und Ausführung von Workflows mit Petrinetzen. Teubner 1996, 300p. 3-8154-2600-6. DM 54. 18942 Rainer Pickhardt: Grundlagen und Anwendungen der Steuerungstechnik. Vieweg 2000, 200p. Eur 23. E. Schnieder (ed.): Petrinetze in der Automatisierungstechnik. Oldenbourg 1992, 220p. 3-486-22045-4. DM 74. 10441 Tobias Vesper: Beweisregeln fu''r Runden. Internet ca. 1997, 8p.