Supervisor synthesis in Petri nets based on basis marking graphs
MA Ziyue;TONG Yin
Journal of Xidian University . 2016, (6): 68 -73 .  DOI: 10.3969/j.issn.1001-2400.2016.06.012