Probabilistic Unfoldings and Partial Order Fairness in Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Probabilistic Unfoldings and Partial Order Fairness in Petri Nets

Stefan Haar

Résumé

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.

Domaines

Autre [cs.OH]

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More