Product Net Machine
The Product Net Machine is an integrated tool for the specification and analysis of Product Nets, which can model complex real-world applications.
- Environment:
- Symbolic -Lisp-Machine (Genera)
- Origin:
- GMD, Darmstadt, Germany
- Kind of Nets supported:
- Product Nets
- Functionalities:
- Graphical and Textual (LISP code) EDITOR with parser for syntax checks
- Random or user controlled SIMULATION in single or multi-step mode
- ANALYSIS:
- computation of the REACHABILITY GRAPH
- REDUCTION of the reachability graph
- DEADLOCK analysis, path finding
- Availability:
-
- References:
- P. Ochsenschläger: Die Produktnetzmaschine - Eine Übersicht [och91]
- P. Ochsenschäger, R. Prinoth: Modellierung verteilter Systeme. Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen [op95]
- P. Ochsenschläger: Verification of Cooperating Systems by simple homomorphisms using the Product Net Machine [och94a]
- P. Ochsenschläger: Verfikation von SmartCard-Anwendungen mit Produktnetzen [och94b]
- Tool description at DAIMI