Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph

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

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

Identifiers

  • HAL Id : hal-00523613, version 1

Citation

Louis-Marie Traonouez, Didier Lime, Olivier Henri Roux. Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph. 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), 2008, Saint Malo, France. pp.280-294. ⟨hal-00523613⟩

Share

Metrics

Record views

105