Synthesis of Bounded Choice-Free Petri Nets.

Eike Best, Raymond Devillers

Browse the full CONCUR paper archive.