Branching cells as local states for event structures and nets: probabilistic applicationsReportar como inadecuado

Branching cells as local states for event structures and nets: probabilistic applications - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PPS - Preuves, Programmes et Systèmes 2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique

Abstract : 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. 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 in existing variants of stochastic Petri nets, our approach randomizes Mazurkiewicz traces, not firing sequences. We show in this context the Law of Large Numbers LLN, which confirms that branching cells deserve the status of local state.

Keywords : Probabilistic event structure branching cell Markov net

Autor: Samy Abbes - Albert Benveniste -



Documentos relacionados