Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable.

Uli Schlachter

Browse the full CONCUR paper archive.