MSC

PN

Tools

• Integrated Net Analyzer INA — A tool package supporting the analysis of Place/Transition Nets (Petri Nets) and Coloured Petri nets.
• PEP — (Programming Environment based on Petri Nets) Universal IDE and tool set for working with Petri Nets.