Literatur

Sta90

STARKE, Peter H.: Analyse von Petri-Netz-Modellen. Stuttgart : B. G. Teubner, 1990 (Leitfäden und Monographien der Informatik)

Sta91

STARKE, Peter H.: Reachability Analysis of Petri Nets Using Symmetries. In: J. of Math. Modelling & Simulation in Systems Analysis 8 (1991), S. 293-304

SS91

SCHMIDT, Karsten ; STARKE, Peter H.: An Algorithm to Compute the Symmetries of Petri Nets. In: Petri Net Newsletter 40 (1991), S. 25-30

Fin89

FINKEL, Alain: A Minimal Coverability Graph for Petri Nets / Université Paris 11. 1989 ( 501). - Forschungsbericht

Lü95

LüTTGE, Karsten: Zustandsgraphen von Petri-Netzen, Humboldt-Universität zu Berlin, Institut für Informatik, Diplomarbeit, 1995

Pog94

POGRELL, Lutz: Theoretische Grundlagen und Implementation der Methode der sturen Mengen, Humboldt-Universität zu Berlin, Institut für Informatik, Diplomarbeit, 1994