{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T14:11:00Z","timestamp":1771510260250,"version":"3.50.1"},"reference-count":35,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2024,9,17]],"date-time":"2024-09-17T00:00:00Z","timestamp":1726531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,1,19]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Fault diagnosis and maximum fault-free execution are essential for the development and operation of computer-integrated systems covering aircraft systems, power grid systems, production processes, etc. This paper focuses on the problem of fault diagnosis and maximum fault-free enforcement of systems modeled by labelled Petri nets. Given a system modeled by a labelled Petri net that may enter deadlocks, an extended basis reachability graph that contains sufficient information to characterize deadlocks is used to compress the state space and verify the diagnosability for the considered system. Furthermore, the proposed graph offers sufficient and necessary conditions for fault-free enforcement and deadlock-free enforcement. Finally, a lock-free event set and a supervisor are designed for a system such that any possible fault or dead behaviour is prohibited in the controlled system.<\/jats:p>","DOI":"10.1093\/comjnl\/bxae093","type":"journal-article","created":{"date-parts":[[2024,9,17]],"date-time":"2024-09-17T17:09:24Z","timestamp":1726592964000},"page":"74-83","source":"Crossref","is-referenced-by-count":1,"title":["Maximum fault-free enforcement in Petri nets using supervisory control"],"prefix":"10.1093","volume":"68","author":[{"given":"Juhong","family":"Zheng","sequence":"first","affiliation":[{"name":"School of Astronautics , Northwestern Polytechnical University, No. 127, Youyi West Road, Xi'an 710072,","place":["China"]},{"name":"Institute of Xi\u2019an Modern Control Technology Research , No. 10, Zhangba East Road, Yanta District, Xi'an 710065,","place":["China"]}]},{"given":"Lei","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Astronautics , Northwestern Polytechnical University, No. 127, Youyi West Road, Xi'an 710072,","place":["China"]}]},{"given":"Jingbo","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Astronautics , Northwestern Polytechnical University, No. 127, Youyi West Road, Xi'an 710072,","place":["China"]}]},{"given":"Meibo","family":"Lv","sequence":"additional","affiliation":[{"name":"School of Astronautics , Northwestern Polytechnical University, No. 127, Youyi West Road, Xi'an 710072,","place":["China"]}]}],"member":"286","published-online":{"date-parts":[[2024,9,17]]},"reference":[{"key":"2025012013062173400_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"Cassandras","year":"2008"},{"key":"2025012013062173400_ref2","doi-asserted-by":"publisher","first-page":"1698","DOI":"10.1093\/comjnl\/bxac035","article-title":"L-graph automata and some applications","volume":"66","author":"Sarbizhan","year":"2023","journal-title":"Comput J"},{"key":"2025012013062173400_ref3","doi-asserted-by":"crossref","first-page":"1374","DOI":"10.1093\/comjnl\/bxy001","article-title":"A petri nets model for blockchain analysis","volume":"61","author":"Zhang","year":"2018","journal-title":"Comput J"},{"key":"2025012013062173400_ref4","doi-asserted-by":"crossref","first-page":"1663","DOI":"10.1093\/comjnl\/bxw067","article-title":"Modelling and performance analysis of IEEE 802.11 DCF using coloured petri nets","volume":"59","author":"Hu","year":"2016","journal-title":"Comput J"},{"key":"2025012013062173400_ref5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/comjnl\/bxw089","article-title":"Multi-state system reliability analysis based on fuzzy colored petri nets","volume":"61","author":"Zhang","year":"2018","journal-title":"Comput J"},{"key":"2025012013062173400_ref6","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","article-title":"Modular analysis of petri nets","volume":"43","author":"Christensen","year":"2000","journal-title":"Comput J"},{"key":"2025012013062173400_ref7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.ress.2019.04.004","article-title":"A coloured petri net framework for modelling aircraft fleet maintenance","volume":"189","author":"Sheng","year":"2019","journal-title":"Reliab Eng Syst Saf"},{"key":"2025012013062173400_ref8","doi-asserted-by":"publisher","first-page":"107052","DOI":"10.1016\/j.ress.2020.107052","article-title":"An integrated assessment of safety and efficiency of aircraft maintenance strategies using agent-based modelling and stochastic petri nets","volume":"202","author":"Lee","year":"2020","journal-title":"Reliab Eng Syst Saf"},{"key":"2025012013062173400_ref9","doi-asserted-by":"publisher","first-page":"120907","DOI":"10.1016\/j.ins.2024.120907","article-title":"Supervisor synthesis for asynchronous diagnosability enforcement in labeled petri nets","volume":"677","author":"Hu","year":"2024","journal-title":"Inf Sci."},{"key":"2025012013062173400_ref10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2019\/6143027","article-title":"Actantial narrative schema in emergency response process modeling for aircraft fires","volume":"2019","author":"Luo","year":"2019","journal-title":"J Adv Transp"},{"key":"2025012013062173400_ref11","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1177\/0954410015603075","article-title":"The fault diagnosis of aircraft power system based on inverse problem of fuzzy optimization","volume":"230","author":"Huang","year":"2016","journal-title":"Proc Inst Mech Eng Part G J Aerosp Eng"},{"key":"2025012013062173400_ref12","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1177\/0142331208095623","article-title":"Modelling and analysis of air traffic control systems using hierarchical timed coloured petri nets","volume":"33","author":"Huang","year":"2011","journal-title":"Trans Inst Meas Control"},{"key":"2025012013062173400_ref13","doi-asserted-by":"publisher","first-page":"1542","DOI":"10.1109\/TAC.2014.2382991","article-title":"Failure detection framework for stochastic discrete event systems with guaranteed error bounds","volume":"60","author":"Chen","year":"2015","journal-title":"IEEE Trans Autom Control"},{"key":"2025012013062173400_ref14","doi-asserted-by":"publisher","first-page":"1531","DOI":"10.1016\/j.automatica.2010.06.013","article-title":"Fault detection for discrete event systems using petri nets with unobservable transitions","volume":"46","author":"Cabasino","year":"2010","journal-title":"Automatica"},{"key":"2025012013062173400_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30821-6","volume-title":"Estimation and Inference in Discrete Event Systems","author":"Keroglou","year":"2020"},{"key":"2025012013062173400_ref16","doi-asserted-by":"crossref","first-page":"2793","DOI":"10.1093\/comjnl\/bxu117","article-title":"Deriving compositionally deadlock-free components over synchronous automata compositions","volume":"58","author":"Yevtushenko","year":"2022","journal-title":"Comput J"},{"key":"2025012013062173400_ref17","first-page":"1555","article-title":"Polynomial-time verification of diagnosability of partially observed discrete-event systems","volume":"47","author":"Yoo","year":"2002","journal-title":"IEEE Trans Autom Control"},{"key":"2025012013062173400_ref18","doi-asserted-by":"publisher","first-page":"1192","DOI":"10.1109\/TAC.2017.2742659","article-title":"Codiagnosability analysis of bounded petri nets","volume":"63","author":"Ran","year":"2018","journal-title":"IEEE Trans Autom Control"},{"key":"2025012013062173400_ref19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSMC.2024.3422925","article-title":"Supervisor synthesis using labeled petri nets for forbidden state specifications","author":"Hu","year":"2024","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"2025012013062173400_ref20","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1109\/TASE.2012.2203596","article-title":"Fault detection by labeled petri nets in centralized and distributed approaches","volume":"10","author":"Fanti","year":"2013","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"2025012013062173400_ref21","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","article-title":"Diagnosability of discrete-event systems","volume":"40","author":"Sampath","year":"1995","journal-title":"IEEE Trans Autom Control"},{"key":"2025012013062173400_ref22","doi-asserted-by":"publisher","first-page":"111513","DOI":"10.1016\/j.automatica.2024.111513","article-title":"Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques","volume":"162","author":"Chouchane","year":"2024","journal-title":"Automatica"},{"key":"2025012013062173400_ref23","doi-asserted-by":"publisher","first-page":"10071","DOI":"10.1109\/JSEN.2023.3259524","article-title":"Asynchronous diagnosability enforcement in discrete event systems based on supervisory control","volume":"23","author":"Hu","year":"2023","journal-title":"IEEE Sens J"},{"key":"2025012013062173400_ref24","doi-asserted-by":"publisher","first-page":"1490","DOI":"10.1109\/9.948484","article-title":"Decomposition of the supervisory control problem for petri nets under preservation of maximal permissiveness","volume":"46","author":"Stremersch","year":"2001","journal-title":"IEEE Trans Autom Control"},{"key":"2025012013062173400_ref25","doi-asserted-by":"publisher","first-page":"4778","DOI":"10.1109\/TASE.2023.3301997","article-title":"Design of supervisors for partially observed discrete event systems using quiescent information","volume":"21","author":"Hu","year":"2024","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"2025012013062173400_ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3321781","article-title":"A digital twin approach for enforcing diagnosability in petri nets","author":"Hu","year":"2023","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"2025012013062173400_ref27","doi-asserted-by":"publisher","first-page":"1892","DOI":"10.1109\/TCST.2013.2291069","article-title":"Active diagnosability of discrete event systems and its application to battery fault diagnosis","volume":"22","author":"Chen","year":"2014","journal-title":"IEEE Trans Control Syst Technol"},{"key":"2025012013062173400_ref28","doi-asserted-by":"publisher","first-page":"2965","DOI":"10.1109\/TSMC.2024.3351740","article-title":"Optimal sensor selection for diagnosability enforcement in labeled petri nets","volume":"54","author":"Hu","year":"2024","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"2025012013062173400_ref29","doi-asserted-by":"publisher","first-page":"2997","DOI":"10.1109\/TAC.2018.2874020","article-title":"Enforcement of diagnosability in labeled petri nets via optimal sensor selection","volume":"64","author":"Ran","year":"2019","journal-title":"IEEE Trans Autom Control"},{"key":"2025012013062173400_ref30","doi-asserted-by":"publisher","first-page":"5541","DOI":"10.1109\/TAC.2021.3118655","article-title":"Prognosability analysis and enforcement of bounded labeled petri nets","volume":"67","author":"Ran","year":"2022","journal-title":"IEEE Trans Autom Control"},{"key":"2025012013062173400_ref31","doi-asserted-by":"publisher","first-page":"2436","DOI":"10.1109\/TAC.2022.3173170","article-title":"Codiagnosability enforcement in labeled petri nets","volume":"68","author":"Ran","year":"2023","journal-title":"IEEE Trans Autom Control"},{"key":"2025012013062173400_ref32","doi-asserted-by":"publisher","first-page":"109776","DOI":"10.1016\/j.automatica.2021.109776","article-title":"Diagnosability enforcement in labeled petri nets using supervisory control","volume":"131","author":"Hu","year":"2021","journal-title":"Automatica"},{"key":"2025012013062173400_ref33","doi-asserted-by":"publisher","first-page":"5159","DOI":"10.1109\/TAC.2020.2970011","article-title":"Design of supervisors for active diagnosis in discrete event systems","volume":"65","author":"Hu","year":"2020","journal-title":"IEEE Trans Autom Control"},{"key":"2025012013062173400_ref34","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","article-title":"The control of discrete event systems. in proc","volume":"77","author":"Ramadge","year":"1989","journal-title":"IEEE"},{"key":"2025012013062173400_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7_9","volume-title":"Supervisory Control of Discrete-Event Systems","author":"Wonham","year":"2017"}],"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/comjnl\/article-pdf\/68\/1\/74\/59144796\/bxae093.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/comjnl\/article-pdf\/68\/1\/74\/59144796\/bxae093.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T13:06:34Z","timestamp":1737378394000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/comjnl\/article\/68\/1\/74\/7758867"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,17]]},"references-count":35,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2024,9,17]]},"published-print":{"date-parts":[[2025,1,19]]}},"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxae093","relation":{},"ISSN":["0010-4620","1460-2067"],"issn-type":[{"value":"0010-4620","type":"print"},{"value":"1460-2067","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2025,1]]},"published":{"date-parts":[[2024,9,17]]}}}