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]