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.
Type de document :
Communication dans un congrès
Hermanns, Holger and Segala, Roberto. Proceedings of the 2nd Joint Interbational Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV'02), 2002, Copenhagen, Denmark, Denmark. Springer, 2399, pp.95-114, 2002, 〈10.1007/3-540-45605-8_7〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638349
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:46:47
Dernière modification le : mercredi 16 mai 2018 - 11:23:05

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

116