41 citations · 56 across the 9 of their papers we have counts for
3 papers · 1 filter
Unifying Inference for Bayesian and Petri Nets
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Recent work by the authors equips Petri occurrence nets (PN) with probability distributions which fully replace nondeterminism. To avoid the so-called confusion problem, the constr…
A Formal Approach to Open Multiparty Interactions
Chiara Bodei, Linda Brodo, Roberto Bruni
We present a process algebra aimed at describing interactions that are multiparty, i.e. that may involve more than two processes and that are open, i.e. the number of the processes…
Event Structures for Petri nets with Persistence
Paolo Baldan, Roberto Bruni, Andrea Corradini +3
Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and…