petri net downloads
PIPE2
4.3.0 download... source, platform independent tool for creating and analysing Petri nets including Generalised Stochastic Petri nets. Petri nets are a popular way for modelling concurrency ... synchronisation in distributed systems. To learn more about Petri nets, you can start by reading the 2006/7 ...
TINA
3.8.5 download... robust and versatile tool in the realm of Petri nets and formal verification. This software is designed ... environment for the manipulation and examination of Time Petri Nets (TPNs), a sophisticated extension of the classical ...