Back in Time Petri Nets - LINA-AELOS Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2013

Back in Time Petri Nets

Résumé

The time progress assumption is at the core of the semantics of real-time formalisms. It is also the major obstacle to the development of partial-order techniques for real-time distributed systems since the events are ordered both by causality and by their occurrence in time. Anyway, extended free choice safe time Petri nets (TPNs) were already identi ed as a class where partial order semantics behaves well. We show that, for this class, the time progress assumption can even be dropped (time may go back in case of concurrency), which establishes a nice relation between partial-order semantics and time progress assumption.
Fichier principal
Vignette du fichier
TPNs_with_time_going_back_final.pdf (302.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00840344 , version 1 (05-07-2013)

Identifiants

  • HAL Id : hal-00840344 , version 1

Citer

Thomas Chatain, Claude Jard. Back in Time Petri Nets. 2013. ⟨hal-00840344⟩
140 Consultations
59 Téléchargements

Partager

Gmail Facebook X LinkedIn More