QPN Tool
- Environment:
- Unix (SunView required)
- Origin:
- Lehrstuhl Informatik IV, Universität Dortmund, Germany
- Kind of Nets supported:
- QPN and Free Choice Nets as a structural subclass
- Functionalities:
- Graphical EDITOR
- steady state PERFORMANCE ANALYSIS
- ANALYSIS:
- REACHABILITY analysis
- S- and T- Invariants
- Efficient functional algorithm for Free Choice Nets
- Availability:
-
- References:
-
