Skip to Main content Skip to Navigation
Conference papers

A~Limit Semantics for Timed Petri Nets

Bruno Gaujal 1 Stefan Haar 2, 3
1 MESCAL - Middleware efficiently scalable
LIG - Laboratoire d'Informatique de Grenoble, Inria Grenoble - Rhône-Alpes
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Document type :
Conference papers
Complete list of metadata
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Friday, November 4, 2011 - 3:48:30 PM
Last modification on : Thursday, January 20, 2022 - 5:27:12 PM


  • HAL Id : inria-00638352, version 1


Bruno Gaujal, Stefan Haar. A~Limit Semantics for Timed Petri Nets. Proceedings of the 5th Workshop on Discrete Event Systems (WODES'00), 2000, Ghent, Belgium, Belgium. pp.219-228. ⟨inria-00638352⟩



Les métriques sont temporairement indisponibles