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
Type de document :
Communication dans un congrès
Boel, René and Stremersch, Geert. Proceedings of the 5th Workshop on Discrete Event Systems (WODES'00), 2000, Ghent, Belgium, Belgium. Kluwer Academic Publishers, pp.219-228, 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00638352
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:48:30
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

  • HAL Id : inria-00638352, version 1

Collections

Citation

Bruno Gaujal, Stefan Haar. A~Limit Semantics for Timed Petri Nets. Boel, René and Stremersch, Geert. Proceedings of the 5th Workshop on Discrete Event Systems (WODES'00), 2000, Ghent, Belgium, Belgium. Kluwer Academic Publishers, pp.219-228, 2000. 〈inria-00638352〉

Partager

Métriques

Consultations de la notice

175