107 citations · 401 across the 20 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…