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]