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

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

Domaines

Autre [cs.OH]

Olivier Henri Roux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00523590

Soumis le : mardi 5 octobre 2010-17:24:50

Dernière modification le : vendredi 5 janvier 2024-03:22:26

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN IRCCYN-MEFORBIO UNAM LS2N NANTES-UNIVERSITE
99 Consultations
0 Téléchargements

Partager

More