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

Properties of Untimed Routed Petri Nets

Stefan Haar 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 11:28:26 AM
Last modification on : Friday, February 4, 2022 - 3:31:18 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:29:36 PM


  • HAL Id : inria-00072963, version 1



Stefan Haar. Properties of Untimed Routed Petri Nets. [Research Report] RR-3705, INRIA. 1999. ⟨inria-00072963⟩



Record views


Files downloads