PIPE2 is an open source, platform independent tool for creating and analysing Petri nets including Generalised Stochastic Petri nets. Petri nets are a popular way for modelling concurrency and synchronisation in distributed systems.
http://pipe2.sourceforge.net/about.html
[attach]7947[/attach]
