Petri Net Synthesis from Labelled Transition Systems and from Languages.

ric Badouel

Browse the full VECoS paper archive.