|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 9 van 10 gevonden artikelen
| Titel: |
Probabilistic Cluster Unfoldings |
| Auteur: |
Stefan Haar |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 53 (2003) nr. 3-4 pagina's 281-314 |
| Jaar: |
2003-07-11 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 9 van 10 gevonden artikelen
| << vorige | volgende >> |