Title :
Optimal controllability of 2-composed siphons in a class of Petri nets
Author :
Hou, Y.F. ; Li, Z.W. ; Al-Ahmari, A.M.
Author_Institution :
Xidian Univ., Xi´an, China
Abstract :
Proposesd is a controllability condition of a siphon that is composed of two elementary siphons in a class of Petri nets, Systems of Simple Sequential Processes with Resources (S3PR). It is shown that, under the condition, an S3PR admits a maximally permissive liveness-enforcing supervisor that is expressed by a set of monitors if every dependent siphon is 2-composed, which can be decided by an algorithm with polynomial complexity.
Keywords :
Petri nets; computational complexity; controllability; flexible manufacturing systems; optimal control; 2-composed siphons; Petri nets; S3PR; deadlock occurrences; deadlock problems; elementary siphons; flexible manufacturing systems; maximally permissive liveness-enforcing supervisor; optimal controllability condition; polynomial complexity; systems-of-simple sequential processes-with-resources;
Journal_Title :
Electronics Letters
DOI :
10.1049/el.2012.2336
