L.: Concurrent bisimulations in petri nets (1991)

by E Best, R R Devillers, A Kiehn, Pomello
Venue:Acta Inf