XPETRI
- Environment:
- Sun, Unix, DEC Ultrix (X11, Motif required)
- Origin:
- Multimedia Communication Lab, Boston University, USA
- Kind of Nets supported:
- Petri Nets
- Functionalities:
- Graphical EDITOR
- SIMULATION
- STRUCTURAL ANALYSIS:
- S- and T-Invariants
- Occurrence Graph
- Coverage Graph
- continuous PERFORMANCE ANALYSIS
- Availability:
-
- References:
- T. Murata: Petri Nets: Properties, Analysis, and Applications [mur89]
- Tool description at DAIMI