The Synthesis Problem of Petri Nets.

Jrg Desel, Wolfgang Reisig

Browse the full STACS paper archive.