For the most recent entries see the
Petri Nets Newsletter.
Deussen, P.
-
Deussen, Peter:
Partial Order Verification of Programmable Logic Controllers.
2001.
-
Mertke, T.;
Deussen, P.;
Heiner, M.:
Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen.
2001.
-
Heiner, M.;
Deussen, P.;
Spranger, J.:
A case study in design and verification of manufacturing system control software with hierarchical Petri nets.
1999.
-
Deussen, Peter:
Algorithmic Aspects of Concurrent Automata.
1998.
-
Heiner, Monika;
Deussen, P.:
A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets.
1996.
-
Heiner, Monika;
Deussen, P.:
Petri Net Based Design and Analysis of Reactive Systems.
1996.
-
Heiner, Monika;
Deussen, P.;
Spranger, J.:
A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets.
1996.
-
Heiner, Monika;
Deussen, P.:
Petri Net Based Qualitative Analysis - A Case Study.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography