An efficient method for computing exact state space of Petri nets with stopwatches

Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00523595
Contributor : Olivier Henri Roux <>
Submitted on : Tuesday, October 5, 2010 - 5:32:24 PM
Last modification on : Wednesday, December 19, 2018 - 3:02:03 PM

Identifiers

  • HAL Id : hal-00523595, version 1

Citation

Morgan Magnin, Didier Lime, Olivier Henri Roux. An efficient method for computing exact state space of Petri nets with stopwatches. third International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, United Kingdom. pp.59--77. ⟨hal-00523595⟩

Share

Metrics

Record views

139