Premium
Design of liveness‐enforcing supervisors via transforming plant petri net models of FMS
Author(s) -
Zhong ChunFu,
Li ZhiWu
Publication year - 2010
Publication title -
asian journal of control
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.769
H-Index - 53
eISSN - 1934-6093
pISSN - 1561-8625
DOI - 10.1002/asjc.182
Subject(s) - petri net , liveness , supervisor , synchronizing , computer science , stochastic petri net , net (polyhedron) , process (computing) , deadlock , distributed computing , class (philosophy) , mathematics , operating system , artificial intelligence , telecommunications , transmission (telecommunications) , economics , geometry , management
This paper focuses on the deadlock prevention problems in a class of Petri nets, systems of simple sequential process with resources, S 3 PR for short. By structure analysis, we propose an approach that can transform a plant net model into a weighted S 3 PR (WS 3 PR) that is behaviorally equivalent to the plant model. The WS 3 PR is made to be live by properly reconfiguring its weight distribution such that its all strict minimal siphons are self‐max'‐controlled. The resulting WS 3 PR 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. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society