17 citations · 26 across the 12 of their papers we have counts for
1 paper · 2 filters
Roberto Gorrieri
Step net bisimulation is a coinductive behavioral relation for finite Petri nets, which is a smooth generalization of the definition of standard step bisimulation \cite{NT84} on fi…