Home Research
Image Credit Header image: Artwork by Professor Lubaina Himid, CBE. Photo: @Denise Swanson
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