Graphgen

Working on the Graphgen project.
Graphgen is a command line tool written in Java for state space analysis of Time-Basic (TB) Petri nets, a powerful formalism for real-time systems where time constraints are expressed as intervals,representing possible transition firing times, whose bounds are functions of marking’s time description. To learn more about Graphgen visit the graphgen website.