Hao, Jinyuan, Gao, Limin, Ran, Ning, Huang, Miao and Zhenming, Hao (2023) Supervisor synthesis for Petri nets with unobservable and uncontrollable transitions. Journal of Hebei University (Natural Science Edition), 43 (5). pp. 517-524. ISSN 1000-1565