3 results
Roberto Bruni ; Hernán Melgratti ; Ugo Montanari.
Assigning a satisfactory truly concurrent semantics to Petri nets with confusion and distributed decisions is a long standing problem, especially if one wants to resolve decisions by drawing from some probability distribution. Here we propose a general solution based on a recursive, static […]
Published on December 19, 2019
Laura Bocchi ; Hernan Melgratti ; Emilio Tuosto.
Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreography. Existing relations of correctness/completeness between choreographies and realisations are based on models where […]
Published on September 24, 2020
Hernán Melgratti ; Claudio Antares Mezzina ; Irek Ulidowski.
Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics. We develop such semantics for Place/Transitions Petri nets (P/T nets) […]
Published on October 16, 2020