Design of Liveness‐enforcing Supervisors Via Transforming Plant Petri Net Models of FMS

Chun-Fu Zhong,Zhi-Wu Li
DOI: https://doi.org/10.1002/asjc.182
IF: 2.4
2010-01-01
Asian Journal of Control
Abstract:This paper focuses on the deadlock prevention problems in a class of Petri nets, systems of simple sequential process with resources, (SPR)-P-3 for short. By structure analysis, we propose an approach that can transform a plant net model into a weighted (SPR)-P-3 ((WSPR)-P-3) that is behaviorally equivalent to the plant model. The (WSPR)-P-3 is made to be live by properly reconfiguring its weight distribution such that its all strict minimal siphons are self-max'-controlled. The resulting (WSPR)-P-3 can serve as a liveness-enforcing Petri net supervisor for the plant model after removing some idle and operation places. A live controlled system can be accordingly obtained by synchronizing a plant model and the places whose weights are regulated. This research shows that a small number of monitors is obtained, leading to more permissive behavior of the controlled system. Examples are used to demonstrate the proposed concepts and methods.
What problem does this paper attempt to address?