WINPETRI
- Environment:
- MS-DOS with MS-Windows (C++ compiler required)
- Origin:
- RWTH Aachen, Germany
- Kind of Nets supported:
- Place/Transiton nets and Condition/Event nets with inhibitor arcs
- Functionalities:
-
- Graphical EDITOR
- Step by step or automatic SIMULATION using the weak or strong transition rule
- Reachability Graph ANALYSIS (boundedness, conflict sets, deadlocks, liveness, reversibility)
- Availability:
-
