Place Bisimulation and Liveness for Open Petri Nets.

Xiaoju Dong, Yuxi Fu, Daniele Varacca

Browse the full SETTA paper archive.