Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems

Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems

This paper proposes the synthesis of Petri net supervisors based on a think-globally-actlocally (TGAL) approach and a vector covering technique for flexible manufacturing systems. Given a Petri net model with deadlocks, the TGAL approach first temporarily adds a global idle place (GP). A GP has init...

Full description

Bibliographic Details
Main Authors: Chengzong Li, Yufeng Chen, Zhiwu Li, Kamel Barkaoui
Format: Article
Language:English
Published: IEEE 2017-01-01
Series:IEEE Access
Subjects:
Flexible manufacturing system
Petri net
deadlock prevention
think-globally-act-locally approach
maximally permissive supervisor
Online Access:https://ieeexplore.ieee.org/document/7959575/

Internet

https://ieeexplore.ieee.org/document/7959575/

Similar Items