Petri-Netze (PN) (Universität Koblenz) - Publikationen

Marx, T.
APRIL - Visualisierung der Anforderungen
Koblenz: Universität Koblenz-Landau 1997

Kruse, R. J.; Lautenbach, K.
Diagnostik mit Petri-Netzen
Algorithmen und Werkzeuge für Petrinetze. Humboldt-Universität zu Berlin 1997

Fahrner, C.; Marx, T.; Philippi, S.
DICE: Declarative integrity constraint embedding into the object database standard ODMG-93
Data & knowledge engineering. Bd. 23. H. 2. Amsterdam: Elsevier 1997 S. 119 - 146

Lautenbach, K.; Ridder, Hanno
Die Lineare Algebra der Verklemmungsvermeidung - ein Petri-Netz-Ansatz
Entwurf komplexer Automatisierungssysteme. 1997

Simon, Carlo; Ridder, Hanno; Marx, Thomas
The Petri net tools Neptun and Poseidon
Koblenz-Landau: Univ., Inst, für Informatik 1997 0 S. (Fachberichte Informatik ; 15/97)

Lautenbach, Kurt; Ridder, Hanno
A completion of the S-invariance technique by means of fixed point algorithms
Koblenz-Landau: Univ., Inst. f. Informatik 1995 43 S. (Fachberichte Informatik ; 10/95)

Lautenbach, Kurt; Ridder, Hanno
Liveness in bounded Petri nets which are covered by T-invariants
Koblenz: Inst. für Informatik, Univ. 1993 22 S. (Fachberichte Informatik ; 5/93)