Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets. This new object is defined for event structures, it is called a branching cell. Our aim is to bring an interpretation of branching cells as a right notion of “local state”, for concurrent systems. We illustrate the above claim through applications to probabilistic concurrent models. In this respect, our results extends in part previous work by Varacca-V¨olzer-Winskel on probabilistic confusion free event structures. We propose a construction for probabilities over so-called locally finite event structures that makes concurrent processes probabilistically independent—simply attach a dice to each branching cell; dices attached to concurrent branching cells are thrown independently. Furthermore, we provide a true concurrency generalization of Markov chains, called Markov nets. Unlike ...

• Type: Conference
• Year: 2005
• Where: FOSSACS
• Authors: Samy Abbes, Albert Benveniste
• Keywords: Applied Computing, Branching Cells, Event Structures, FOSSACS 2005, Petri Nets