k-Bounded Petri Net Synthesis from Modal Transition Systems.

Uli Schlachter, Harro Wimmel

Browse the full CONCUR paper archive.