Probabilistic Cluster Unfoldings

Abstract. This article introduces probabilistic cluster branching processes, a probabilistic unfolding semantics for untimed Petri nets, with no structural or safety assumptions, giving probability measures for concurrent runs. The unfolding is constructed by local choices on each cluster (conflict closed subnet), while the authorization for cluster actions is governed by a stochastic trace, the policy, that authorizes cluster actions. We introduce and characterize stopping times for these models, and prove a strong Markov property. Particularly adaquate probability measures for the choice of step in a cluster, as well as for the policy, are obtained by constructing Markov Fields from suitable marking-dependent Gibbs potentials.

• Type: Journal
• Year: 2002
• Where: FUIN
• Authors: Stefan Haar
• Keywords: Cluster Actions, FUIN 2002, Probabilistic Unfolding Semantics, Probability Measures