A~Limit Semantics for Timed Petri Nets

Bruno Gaujal 1 Stefan Haar 2, 3
1 MESCAL - Middleware efficiently scalable
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 LSV - Laboratoire Spécification et Vérification [Cachan]
Document type :
Conference papers
Liste complète des métadonnées
https://hal.inria.fr/inria-00638352
Contributor : Stefan Haar <>
Submitted on : Friday, November 4, 2011 - 3:48:30 PM
Last modification on : Thursday, October 11, 2018 - 8:48:02 AM

Identifiers

  • HAL Id : inria-00638352, version 1

Collections

INRIA | ENS-CACHAN | LIG | UGA | LIG_SRCPR

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

217

Contact


archive-ouverte@inria.fr