2 papers
cs.LO2023
Compositional Semantics of Finite Petri Nets
Roberto Gorrieri
Structure-preserving bisimilarity is a truly concurrent behavioral equivalence for finite Petri nets, which relates markings (of the same size only) generating the same causal nets…
cs.LO2023
Compositional Net Semantics up to Step Net Bisimilarity
Roberto Gorrieri
Step net bisimilarity \cite{Gor23} is a truly concurrent behavioral equivalence for finite Petri nets, which is defined as a smooth generalization of standard step bisimilarity \ci…