Decidability, expressivity and state-space computation of Stopwatch {Petri} nets with discrete-time semantics - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

Decidability, expressivity and state-space computation of Stopwatch {Petri} nets with discrete-time semantics

Domaines

Autre [cs.OH]

Olivier Henri Roux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00523601

Soumis le : mardi 5 octobre 2010-17:45:49

Dernière modification le : vendredi 5 janvier 2024-03:25:12

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00523601 , version 1

Citer

Morgan Magnin, Pierre Molinaro, Olivier Henri Roux. Decidability, expressivity and state-space computation of Stopwatch {Petri} nets with discrete-time semantics. 8th International Workshop on Discrete Event Systems (WODES'06), 2006, Ann Arbor, United States. pp.33-38. ⟨hal-00523601⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More