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