Separability in Persistent Petri Nets
Eike Best, Philippe Darondeau · Fundamenta Informaticae · 2011
Separability in Petri nets means the property for a net k · N with an initial marking k · M to behave in the same way as k parallel instances of the same net N with an initial marking M, thus divided by k. We prove the separability of plain, bounded,