Frantisek Capkovic, Peter Capkovic. Petri net-based automated control synthesis for a class of DEDS. In Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2003, September 16-19, 2003, Lisbon, Portugal - Volume 2. pages 297-304, IEEE, 2003. [doi]
Abstract is missing.