XPETRI

Environment:

Sun, Unix, DEC Ultrix (X11, Motif required)

Origin:

Multimedia Communication Lab, Boston University, USA

Kind of Nets supported:

Functionalities:

Graphical EDITOR
SIMULATION
STRUCTURAL ANALYSIS:
- S- and T-Invariants
- Occurrence Graph
- Coverage Graph
continuous PERFORMANCE ANALYSIS

Availability:

POLICY: tool available by anonymous ftp
CONTACT Multimedia Communication Lab

References:

T. Murata: Petri Nets: Properties, Analysis, and Applications [mur89]
Tool description at DAIMI

Home