Eike Best Raymond R. Devillers Astrid Kiehn Lucia Pomello Concurrent Bisimulations in Petri Nets. 231-264 1991 28 Acta Inf. 3 db/journals/acta/acta28.html#BestDKP91