petri freeware downloads
PIPE2
4.3.0 freeware 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 ...
ASDN - Agile Supply Demand Networks
1.218 freeware download"Agile Supply Demand Networks" is software for analyzing and developing logistics networks. This rapid modelling tool should help decision-making in network architecture design and performance management. ...
TINA
3.8.5 freeware 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 ...