Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation

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

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

Identifiers

  • HAL Id : hal-00523590, version 1

Citation

Olivier Henri Roux, Didier Lime. Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. The 25th International Conference on Application and Theory of Petri Nets, (ICATPN'04), 2004, Bologna, Italy. pp.371--390. ⟨hal-00523590⟩

Share

Metrics

Record views

353