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
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00925765
Contributor : Benedikt Bollig <>
Submitted on : Wednesday, January 8, 2014 - 3:14:14 PM
Last modification on : Friday, April 12, 2019 - 10:18:03 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

340