Roberto Bruni, Hernán C. Melgratti, Ugo Montanari Concurrency and Probability: Removing Confusion, Compositionally. LICS 2018: 195-204 link
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari Unifying Inference for Bayesian and Petri Nets. CoRR abs/1807.06305 (2018) link
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari Event Structures for Petri nets with Persistence. Logical Methods in Computer Science 14(3) (2018) link