Marx, T.
APRIL - Visualisierung der AnforderungenKoblenz: Universität Koblenz-Landau 1997
Kruse, R. J.; Lautenbach, K.
Diagnostik mit Petri-NetzenAlgorithmen 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-93Data & knowledge engineering. Bd. 23. H. 2. Amsterdam: Elsevier 1997 S. 119 - 146
Lautenbach, K.; Ridder, Hanno
Die Lineare Algebra der Verklemmungsvermeidung - ein Petri-Netz-AnsatzEntwurf komplexer Automatisierungssysteme. 1997
Simon, Carlo; Ridder, Hanno; Marx, Thomas
The Petri net tools Neptun and PoseidonKoblenz-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 algorithmsKoblenz-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-invariantsKoblenz: Inst. für Informatik, Univ. 1993 22 S. (Fachberichte Informatik ; 5/93)