Skip to main content
Article thumbnail
Location of Repository

Non-Ambiguous Petri Nets

By Bruno Gaujal and Stefan Haar


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 dened in this paper. To this eect, we describe two semantics, that deal with non-determinism in dierent ways. The rst policy, called the limit policy considers immediate transitions as limits of timed transitions with timing . The second policy, called the global priority policy denes a dynamical order among the transitions and res them along that order. The paper also investigates the advantages, the drawbacks and the relations between those two policies

Topics: Key-words, Timed Petri nets, Semantics, Nondeterminism. (Rsum, tsvp
Year: 1999
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.