离散事件系统无界Petri网的监督器设计

IF 8.7 1区计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-08 DOI:10.1109/TSMC.2025.3580434

Yanan Zhang;Yufeng Chen;Ahmed M. El-Sherbeeny;Zhiwu Li

{"title":"离散事件系统无界Petri网的监督器设计","authors":"Yanan Zhang;Yufeng Chen;Ahmed M. El-Sherbeeny;Zhiwu Li","doi":"10.1109/TSMC.2025.3580434","DOIUrl":null,"url":null,"abstract":"A deadlock prevention policy for discrete event systems (DESs) modeled as unbounded Petri nets (UPNs) is developed in this article. A reachability tree, an essential instrument, shows the evolution of UPNs is fundamental for the description and analysis of several characteristics, including liveness and reversibility. Deadlocks are an undesirable situation within the realm of DESs, particularly those represented by Petri nets. This article introduces a method implemented through integer linear programming for UPNs. We explore the modified reachability trees of UPNs from a new lens by defining two classes of circuits, and exploit an algorithm to engineer a supervisor that ensures liveness and maximum permissiveness. The proposed approach can supervise and control all deadlock nodes in a reachability tree such that the closed-loop unbounded net is live. Finally, several typical cases are shown to demonstrate the reported methods.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"55 10","pages":"6611-6620"},"PeriodicalIF":8.7000,"publicationDate":"2025-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Supervisor Design of Unbounded Petri Nets for Discrete Event Systems\",\"authors\":\"Yanan Zhang;Yufeng Chen;Ahmed M. El-Sherbeeny;Zhiwu Li\",\"doi\":\"10.1109/TSMC.2025.3580434\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A deadlock prevention policy for discrete event systems (DESs) modeled as unbounded Petri nets (UPNs) is developed in this article. A reachability tree, an essential instrument, shows the evolution of UPNs is fundamental for the description and analysis of several characteristics, including liveness and reversibility. Deadlocks are an undesirable situation within the realm of DESs, particularly those represented by Petri nets. This article introduces a method implemented through integer linear programming for UPNs. We explore the modified reachability trees of UPNs from a new lens by defining two classes of circuits, and exploit an algorithm to engineer a supervisor that ensures liveness and maximum permissiveness. The proposed approach can supervise and control all deadlock nodes in a reachability tree such that the closed-loop unbounded net is live. Finally, several typical cases are shown to demonstrate the reported methods.\",\"PeriodicalId\":48915,\"journal\":{\"name\":\"IEEE Transactions on Systems Man Cybernetics-Systems\",\"volume\":\"55 10\",\"pages\":\"6611-6620\"},\"PeriodicalIF\":8.7000,\"publicationDate\":\"2025-07-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Transactions on Systems Man Cybernetics-Systems\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://ieeexplore.ieee.org/document/11072821/\",\"RegionNum\":1,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Systems Man Cybernetics-Systems","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/11072821/","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}

引用次数: 0

摘要

提出了一种以无界Petri网为模型的离散事件系统（DESs）的死锁预防策略。可达性树是一种重要的工具，它表明upn的演化是描述和分析几个特征（包括活动性和可逆性）的基础。死锁是DESs领域中不希望出现的情况，特别是那些由Petri网代表的情况。本文介绍了一种利用整数线性规划实现upn的方法。我们通过定义两类电路，从一个新的视角探索改进的upn可达树，并利用一种算法来设计一个保证活动和最大许可的监督器。该方法可以对可达树中的所有死锁节点进行监督和控制，使闭环无界网处于活动状态。最后，通过几个典型案例对所提方法进行了验证。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Supervisor Design of Unbounded Petri Nets for Discrete Event Systems

A deadlock prevention policy for discrete event systems (DESs) modeled as unbounded Petri nets (UPNs) is developed in this article. A reachability tree, an essential instrument, shows the evolution of UPNs is fundamental for the description and analysis of several characteristics, including liveness and reversibility. Deadlocks are an undesirable situation within the realm of DESs, particularly those represented by Petri nets. This article introduces a method implemented through integer linear programming for UPNs. We explore the modified reachability trees of UPNs from a new lens by defining two classes of circuits, and exploit an algorithm to engineer a supervisor that ensures liveness and maximum permissiveness. The proposed approach can supervise and control all deadlock nodes in a reachability tree such that the closed-loop unbounded net is live. Finally, several typical cases are shown to demonstrate the reported methods.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

IEEE Transactions on Systems Man Cybernetics-Systems AUTOMATION & CONTROL SYSTEMS-COMPUTER SCIENCE, CYBERNETICS

CiteScore

18.50

自引率

11.50%

发文量

812

审稿时长

6 months

期刊介绍： The IEEE Transactions on Systems, Man, and Cybernetics: Systems encompasses the fields of systems engineering, covering issue formulation, analysis, and modeling throughout the systems engineering lifecycle phases. It addresses decision-making, issue interpretation, systems management, processes, and various methods such as optimization, modeling, and simulation in the development and deployment of large systems.