Vol-3071⫷ Vol-3072 ⫸Vol-3073
urn:nbn:de:0074-3072-0


Vol-3072/paper11⫷Vol-3072/paper12⫸Vol-3072/paper13
Arnaldo CescoRoberto Gorrieri

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11)