CPN Tools
From Wikipedia, the free encyclopedia
CPN Tools is a high level Petri net tool. It supports the basic Petri nets plus timed Petri nets and Colored Petri nets. It has a simulator and a state space analysis tool is included.
[edit] External links
CPN Tools [1]

