Branching Processes of High-Level Petri Nets.

Victor Khomenko, Maciej Koutny

Browse the full TACAS paper archive.