ORDINARY PETRI NET (PN)

Definition

(according to [bd92])

Transition Rule

Tools

ANARCO is a tool for the analysis of Petri Nets and Coloured Petri Nets.
INA is a Petri Net Analysis Tool.
MetaDesign is a Petri Net Editor and Simulator.
NETMAN serves as an editing tool which exports to other packages for analysis and simultion.
PAPETRI is a general and integrated environment for editing and analysing Petri Nets.
PN^3-EDITOR is a tool for the specification of communication protocols.
XPETRI is a Petri Net Analysis Tool.

References

L. Bernardinello, F. De Cindio: A survey of Basic Net Models and Modular Net Classes [bd92]
E. Best, C. Fernandez: Notations and terminology on Petri Net Theory [bf86]

BACK