A translation based method for the timed analysis of scheduling extended time Petri nets

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

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

Identifiers

  • HAL Id : hal-00523591, version 1

Citation

Didier Lime, Olivier Henri Roux. A translation based method for the timed analysis of scheduling extended time Petri nets. The 25th IEEE International Real-Time Systems Symposium, (RTSS'04), 2004, Lisbon, Portugal. pp.187--196. ⟨hal-00523591⟩

Share

Metrics

Record views

103