publications

PhD theses

S. Thiel,
Petri-Netz basierte Verifikation von funktionalen Testfällen,
Dissertation, Universität Koblenz-Landau, 2011.

K. Hupf,
Zeitbewertete Prädikat/Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme,
Dissertation, Universität Koblenz-Landau, 2009.

A. Pinl,
Probability Propagation Nets,
Dissertation, Universität Koblenz-Landau, 2007.

J. R. Müller,
Dualität und Analyse von Formalen Modellen - Prädikat/Transitions-Netze und ihr Bezug zur Linearen Algebra,
Dissertation, Universität Koblenz-Landau, 2004.

R. J. Kruse,
Dualität bei Petri-Netzen - Anwendungen für Netze mit Stellen- und Transitionsmarken,
Dissertation, Universität Koblenz-Landau, 2001.

C. Simon,
A Logic of Actions and Its Application to the Development of Programmable Controllers,
PhD thesis, Universität Koblenz-Landau, 2001.

S. Philippi,
Synthese von Petri-Netzen und objektorientierten Konzepten,
Dissertation, Universität Koblenz-Landau, 1999.

Th. Marx,
NETCASE - Softwareentwurf und Workflow-Modellierung mit Petri-Netzen,
Dissertation, Shaker Verlag, Aachen, 1998.

H. Ridder,
Analyse von Petri-Netz Modellen mit Entscheidungsdiagrammen,
Dissertation, Verlag D. Fölbach, Koblenz, 1997.