Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

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

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

hal-00523590 , version 1 (05-10-2010)

Identifiants

  • HAL Id : hal-00523590 , version 1

Citer

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⟩
85 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More