Diades is a collection of academic tools that deal with the problem of discrete event systems.
Petri net library
Source code of ddpetri: used as a submodule