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

Olivier H. Roux, David Delfieu, Pierre Molinaro. Discrete time approach of time Petri nets for real-time systems analysis. In Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 2. pages 197-204, IEEE, 2001. [doi]

Abstract

Abstract is missing.