Properties of Untimed Routed 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

Properties of Untimed Routed Petri Nets

Stefan Haar

Résumé

In this paper, we study the properties of routing functions in non-timed Petri nets with respect to the nets' semantics. We consider two types of routing (origin dependent and origin independent) which are not mutually representable, and describe the net semantics induced. For unequivocal routing, the process behavior - definable only in the origin dependent case - is shown to be unique up to isomorphism. We show that every routed net is weakly routing place bisimilar to a Free Choice net. This fact, in turn, facilitates the subsequent study of fairness properties, which are characterized by the local equitability of the routing functions.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00072963 , version 1

Citer

Stefan Haar. Properties of Untimed Routed Petri Nets. [Research Report] RR-3705, INRIA. 1999. ⟨inria-00072963⟩
58 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More