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