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

Sch97

SCHMIDT, Karsten:
How to Calculate Symmetries of Petri nets.
Technische Universität Dresden, Preprint (MATH-AL-8-1997), 1997

Pog94

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

Lü95

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

Fin89

FINKEL, Alain:
A Minimal Coverability Graph for Petri Nets.
Université Paris 11, Forschungsbericht, 1989

Hel96

HELJANKO, Keijo:
Implementing a CTL Model checker.
In: Workshop Concurrency, Specification & Programming.
Humboldt-Universität zu Berlin, Informatik-Bericht Nr. 69, S. 75-84, 1996