CPN Tools

From Wikipedia, the free encyclopedia

CPN Tools is an high level Petri net tool. It support the basic Petri net and timed Petri net principle and have extension as color, guard, hierarchy, support ML function on arc and guard, etc. It has a simulator and a state space analysis tool is included.

[edit] External links

CPN Tools [1]