Discrete time approach of time Petri nets for real-time systems analysis.

Olivier H. Roux, David Delfieu, Pierre Molinaro

Browse the full ETFA paper archive.