A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets-Reference-Cited by-同舟云学术

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets

Published:2023-01 Issue:1 Volume:53 Page:191-203
ISSN:2168-2216
Container-title:IEEE Transactions on Systems, Man, and Cybernetics: Systems
language:
Short-container-title:IEEE Trans. Syst. Man Cybern, Syst.

Author:

Wang ShouGuang¹^ORCID,Guo Xin¹^ORCID,Karoui Oussama¹^ORCID,Zhou MengChu²^ORCID,You Dan¹^ORCID,Abusorrah Abdullah³^ORCID

Affiliation:

1. School of Information and Electronic Engineering, Sussex Artificial Intelligence Institute, Zhejiang Gongshang University, Hangzhou, China

2. Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA

3. Department of Electrical and Computer Engineering, Faculty of Engineering, K. A. CARE Energy Research and Innovation Center, and Center of Research Excellence in Renewable Energy and Power Systems, King Abdulaziz University, Jeddah, Saudi Arabia

Funder

Zhejiang Natural Science Foundation

Public technology research plan of Zhejiang Province

Zhejiang Provincial Key Laboratory of New Network Standards and Technologies

Deanship of Scientific Research (DSR) at King Abdulaziz University (KAU), Jeddah, Saudi Arabia

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Electrical and Electronic Engineering,Computer Science Applications,Human-Computer Interaction,Control and Systems Engineering,Software

Link

http://xplorestaging.ieee.org/ielx7/6221021/9990979/09789159.pdf?arnumber=9789159

Reference61 articles.

1. Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets

2. A deadlock prevention method for a class of FMS

3. Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models

4. Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs

5. Reduction of constraints for controller synthesis based on safe Petri Nets

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets;Information Sciences;2024-08

2. An Efficient Liveness Analysis Method for Petri Nets via Maximally Good-Step Graphs;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2024-07

3. Improved Design of Concurrent Synchronization System Controller Based on Petri Net;Journal of Web Engineering;2024-02-03

4. Improved Local Partitioning Minimal-Siphon Enumeration Method;IEEE Access;2024

5. Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2024