Eric Badouel. Petri Net Synthesis from Labelled Transition Systems and from Languages. In Mohamed Ghazel, Mohamed Jmaiel, editors, Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. Volume 1689 of CEUR Workshop Proceedings, pages 159, CEUR-WS.org, 2016. [doi]
Abstract is missing.