Probabilistic Cluster Unfoldings

• Autorzy: Haar S.
• Języki publikacji: EN

Abstrakty

EN

This article introduces probabilistic cluster branching processes, a probabilistic unfolding semantics for untimed Petri nets with no structural or safety assumptions. 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. The probabilistic model for this semantics yields probability measures for concurrent runs. We introduce and characterize stopping times for this model, and prove a strong Markov property. Particularly adequate 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.

Słowa kluczowe

EN

Petri net; probabilistic model; Markov fields; cluster measures

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 53, nr 3,4
• Strony: 281--314
• Opis fizyczny: bibliogr. 37 poz.

Twórcy

autor

Haar S.

• IRISA, Campus de Beaulieu, 35042 Rennes, cedex, France,