Frantisek Capkovic. Interpreted Petri Nets in DES Control Synthesis. In Ngoc Thanh Nguyen, Bogdan Trawinski, Hamido Fujita, Tzung-Pei Hong, editors, Intelligent Information and Database Systems - 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I. Volume 9621 of Lecture Notes in Computer Science, pages 377-387, Springer, 2016. [doi]
Abstract is missing.