The Expressive Power of Time Petri Nets

Béatrice Berard 1 Franck Cassez 2 Serge Haddad 3, 4 Didier Lime 5 Olivier Henri Roux 5
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
4 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 :
Article dans une revue
Theoretical Computer Science, Elsevier, 2013, 474, pp.1-20
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00925765
Contributeur : Benedikt Bollig <>
Soumis le : mercredi 8 janvier 2014 - 15:14:14
Dernière modification le : mercredi 19 décembre 2018 - 15:02:03

Identifiants

  • HAL Id : hal-00925765, version 1

Citation

Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. The Expressive Power of Time Petri Nets. Theoretical Computer Science, Elsevier, 2013, 474, pp.1-20. 〈hal-00925765〉

Partager

Métriques

Consultations de la notice

334