Skip to Main content Skip to Navigation
Conference papers

Probabilistic Unfoldings and Partial Order Fairness in Petri Nets

Stefan Haar 1 
1 SIGMA2 - Signal, models, algorithms
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : The article investigates fairness and conspiracy in a probabilistic framework, based on unfoldings of Petri nets. Here, the unfolding semantics uses a new, cluster-based view of local choice. The algorithmic construction of the unfolding proceeds on two levels, choice of steps inside conflict clusters, where the choice may be fair or unfair, and the policy controlling the order in which clusters may act; this policy may or may not conspire, e.g., against a transition. In the context of an example where conspiracy can hide in the partial order behavior of a life and 1-safe Petri net, we show that, under non-degenerate i.i.d. randomization on both levels, both conspiracy and unfair behavior have probability 0. The probabilistic model, using special Gibbs potentials, is presented here in the context of 1-safe nets, but extends to any Petri net.
Document type :
Conference papers
Complete list of metadata
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Friday, November 4, 2011 - 3:46:47 PM
Last modification on : Friday, February 4, 2022 - 3:19:40 AM

Links full text



Stefan Haar. Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. Proceedings of the 2nd Joint Interbational Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV'02), 2002, Copenhagen, Denmark, Denmark. pp.95-114, ⟨10.1007/3-540-45605-8_7⟩. ⟨inria-00638349⟩



Record views