State Space Computation and Analysis of Time Petri Nets

Guillaume Gardey, Olivier H. Roux, Olivier F. Roux

The theory of Petri Nets provides a general framework to specify the behaviors of real-time reactive systems and Time Petri Nets were introduced to take also temporal specification…