Non-Ambiguous Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1999

Non-Ambiguous Petri Nets

Bruno Gaujal
Stefan Haar

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-3691.pdf (342.51 Ko) Télécharger le fichier

Dates et versions

inria-00072978 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072978 , version 1

Citer

Bruno Gaujal, Stefan Haar. Non-Ambiguous Petri Nets. [Research Report] RR-3691, INRIA. 1999. ⟨inria-00072978⟩
88 Consultations
79 Téléchargements

Partager

Gmail Facebook X LinkedIn More