1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…