Jörg Desel Wolfgang Reisig The Synthesis Problem of Petri Nets. 297-315 1996 33 Acta Inf. 4 db/journals/acta/acta33.html#DeselR96