Synthesis of Nets with Inhibitor Arcs.

Nadia Busi, G. Michele Pinna

Browse the full CONCUR paper archive.