Log In Sign Up

Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks

by   Rebecca Bernemann, et al.

This paper exploits extended Bayesian networks for uncertainty reasoning on Petri nets, where firing of transitions is probabilistic. In particular, Bayesian networks are used as symbolic representations of probability distributions, modelling the observer's knowledge about the tokens in the net. The observer can study the net by monitoring successful and failed steps. An update mechanism for Bayesian nets is enabled by relaxing some of their restrictions, leading to modular Bayesian nets that can conveniently be represented and modified. As for every symbolic representation, the question is how to derive information - in this case marginal probability distributions - from a modular Bayesian net. We show how to do this by generalizing the known method of variable elimination. The approach is illustrated by examples about the spreading of diseases (SIR model) and information diffusion in social networks. We have implemented our approach and provide runtime results.


page 1

page 2

page 3

page 4


Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks

The paper extends Bayesian networks (BNs) by a mechanism for dynamic cha...

Toric and non-toric Bayesian networks

In this paper we study Bayesian networks from a commutative algebra pers...

Probability Bracket Notation, Multivariable Systems and Static Bayesian Networks

Probability Bracket Notation (PBN) is applied to systems of multiple ran...

Unifying Inference for Bayesian and Petri Nets

Recent work by the authors equips Petri occurrence nets (PN) with probab...

Concurrency and Probability: Removing Confusion, Compositionally

Assigning a satisfactory truly concurrent semantics to Petri nets with c...

Expressing Relational and Temporal Knowledge in Visual Probabilistic Networks

Bayesian networks have been used extensively in diagnostic tasks such as...

A Distribution Similarity Based Regularizer for Learning Bayesian Networks

Probabilistic graphical models compactly represent joint distributions b...