research
∙
08/17/2023
Compositional Semantics of Finite Petri Nets
Structure-preserving bisimilarity is a truly concurrent behavioral equiv...
research
∙
05/07/2023
Branching Place Bisimilarity
Place bisimilarity is a behavioral equivalence for finite Petri nets, pr...
research
∙
01/20/2023
Distributed Non-Interference
Information flow security properties were defined some years ago (see, e...
research
∙
01/11/2023
Compositional Net Semantics up to Step Net Bisimilarity
Step net bisimilarity <cit.> is a truly concurrent behavioral equivalenc...
research
∙
01/09/2023
The Algebra of Nondeterministic Finite Automata
A process algebra is proposed, whose semantics maps a term to a nondeter...
research
∙
11/01/2022
True Concurrency Can Be Easy
Step net bisimulation is a coinductive behavioral relation for finite Pe...
research
∙
04/30/2021
A Decidable Equivalence for a Turing-complete, Distributed Model of Computation
Place/Transition Petri nets with inhibitor arcs (PTI nets for short), wh...
research
∙
04/30/2021
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
We prove that (strong) fully-concurrent bisimilarity and causal-net bisi...
research
∙
04/03/2021