most citedState Space Computation and Analysis of Time Petri Nets

1 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2005★ 1 cited

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…