Expressiveness of Petri nets with stopwatches. Dense-time part

Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00523933
Contributor : Olivier Henri Roux <>
Submitted on : Wednesday, October 6, 2010 - 3:55:41 PM
Last modification on : Wednesday, December 19, 2018 - 3:02:03 PM

Identifiers

  • HAL Id : hal-00523933, version 1

Citation

Morgan Magnin, Pierre Molinaro, Olivier Henri Roux. Expressiveness of Petri nets with stopwatches. Dense-time part. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 97 (1-2), pp.111-138. 〈hal-00523933〉

Share

Metrics

Record views

123