Equivalence of Timed State Machines and safe TPN

Stefan Haar 1 Laurent Kaiser 2 Françoise Simonot-Lion 2 Joël Toussaint 3
1 SIGMA2 - Signal, models, algorithms
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this article, we show that an important subclass of Timed Automata, called Timed Input Output State Machines (TIOSM) is weackly time equivalent to bounded non-Zeno Time Petri Nets (TPNs) in the sense of Merlin and Farber. We present here an explicit construction for two-way translation between 1-safe TPNs and TIOSMs; in both directions, the power of clock timing is exploited to obtain concise and analyzable models. || Dans cet article, nous montrons qu'une importante sous-classe d'automates temporisés, appelés Timed Input Output State Machines (TIOSM) est faiblement équivalente aux Réseaux de Petri temporels "non-Zeno" (TPN) (Merlin et Farber). Nous présentons ici une
Type de document :
Communication dans un congrès
Manuel Silva, Alessandro Giua, José M. Colom. 6th International Workshop on Discrete Event Systems - WODES'02, 2002, Zaragoza/Spain, Spain. IEEE, pp.119-126, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00100864
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:52:32
Dernière modification le : mercredi 16 mai 2018 - 11:23:05

Identifiants

  • HAL Id : inria-00100864, version 1

Citation

Stefan Haar, Laurent Kaiser, Françoise Simonot-Lion, Joël Toussaint. Equivalence of Timed State Machines and safe TPN. Manuel Silva, Alessandro Giua, José M. Colom. 6th International Workshop on Discrete Event Systems - WODES'02, 2002, Zaragoza/Spain, Spain. IEEE, pp.119-126, 2002. 〈inria-00100864〉

Partager

Métriques

Consultations de la notice

279