Probabilistic Unfoldings and Partial Order Fairness in Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

Probabilistic Unfoldings and Partial Order Fairness in Petri Nets

Stefan Haar

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.

Domains

Other [cs.OH]

Dates and versions

inria-00638349 , version 1 (04-11-2011)

Identifiers

Cite

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⟩
84 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More