46 citations · 72 across the 9 of their papers we have counts for
1 paper · 1 filter
Slawomir Lasota, Marcin Poturalski
We investigate bisimulation equivalence on Petri nets under durational semantics. Our motivation was to verify the conjecture that in durational setting, the bisimulation equivalen…