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