Slimming down Petri Boxes: Compact Petri Net Models of Control Flows.

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Browse the full CONCUR paper archive.