Explore projects

Diades is a collection of academic tools that deal with the problem of discrete event systems.