含不可观和不可控变迁Petri网的控制器综合方法
郝晋渊,高丽敏,冉宁,黄淼,郝真鸣
Supervisor synthesis for Petri nets with unobservable and uncontrollable transitions
HAO Jinyuan,GAO Limin,RAN Ning,HUANG Miao,HAO Zhenming
河北大学学报(自然科学版) . 2023, (5): 517 -524 .  DOI: 10.3969/j.issn.1000-1565.2023.05.011