HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Non-Ambiguous Petri Nets

Bruno Gaujal 1 Stefan Haar
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we investigate conditions for non-ambiguous behaviour of a timed Petri net which also contains immediate transitions. Non-ambiguity of the net behaviour means that it is uniquely determined by a given set of control parameters defined in this paper. To this effect, we describe two semantics, that deal with non-determinism in different ways. The first policy, called the limit policy considers immediate transitions as limits of timed transitions with timing epsilon. The second policy, called the global priority policy defines a dynamical order among the transitions and fires them along that order. The paper also investigates the advantages, the drawbacks and the relations between those two policies.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00072978
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 11:30:11 AM
Last modification on : Friday, February 4, 2022 - 3:22:00 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:13:02 PM

Identifiers

  • HAL Id : inria-00072978, version 1

Collections

Citation

Bruno Gaujal, Stefan Haar. Non-Ambiguous Petri Nets. [Research Report] RR-3691, INRIA. 1999. ⟨inria-00072978⟩

Share

Metrics

Record views

86

Files downloads

60