PAPETRI
PAPETRI (Poste pour l'Analyse des réseaux de PETRI) is a general and integrated environment for editing and analysing Petri Nets.
- Environment:
- Unix (OpenLook required)
- Origin:
- Institut d'Informatique d'Entreprise, Evry Cedex, France
- Kind of Nets supported:
- Place/Transition Systems, ordinary PN, Coloured PN, Algebraic Nets
- Functionalities:
- Graphical interactive EDITOR (PETRIX)
- Graphical SIMULATOR
- Construction of REACHABILITY and COVERING GRAPH which checks some net properties (boundedness, liveness, termination ...) and construction of the MINIMAL covering graph
- Generation of S- and T- Invariants (COMBAG)
- Analysis using REWRITING techniques (PETRIREVE): verifies the termination of a Petri Net for a class of initial markings
- Analysis and Simulation of Algebraic Nets (VAERA)
- Composition/Decomposition of Nets
- REDUCTION of Nets
- Availability:
-
- References:
- G. Berthelot, C. Johnen, L. Petrucci: PAPETRI: Environment for the analysis of Petri Nets [bjp91]
- Tool description at DAIMI
