For the most recent entries see the
Petri Nets Newsletter.
Keyword: control software
-
Heiner, M.;
Deussen, P.;
Spranger, J.:
A case study in design and verification of manufacturing system control software with hierarchical Petri nets.
1999.
-
Heiner, Monika;
Deussen, P.:
A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets.
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.
-
Murata, Tomohiro;
Komoda, N.:
Real-Time Control Software for Transaction Processing Based on Colored Safe Petri Net Model.
1990.
-
Schuffenhauer, Constanze:
Modellierung und softwareseitige Realisierung von M-Netzbausteinen zur Simulation von Software der FertigungsprozeÑsteuerung.
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography