By Topic

Improved sufficient condition for the controllability of dependent siphons in system of simple sequential processes with resources

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Liu, G.J. ; Dept. of Comput. Sci. & Technol., Tongji Univ., Shanghai, China ; Jiang, C.J. ; Zhou, M.C.

Ezpeleta et al. defined a class of Petri nets called system of simple sequential processes with resources, S3PR for short, which can well model some flexible manufacturing systems (FMSs) and present a deadlock prevention policy based on strict minimal siphons (SMS). However, the number of SMS grows exponentially with net size, thereby making the liveness-enforcing supervisor very complex. Li and Zhou proposed an improved policy that allows one to design a much simpler supervisor. They partitioned SMS into dependent and elementary ones, and control dependent ones by controlling elementary ones only. They give a sufficient condition to decide whether a dependent SMS is controlled by its elementary ones. However, this condition is so loose that in most cases the controllability of a dependent SMS cannot be determined although it is actually controlled. The authors propose an improved condition based on a more detailed relationship between dependent and elementary SMS. Finally, an FMS example is used to illustrate the advantage of the proposed condition.

Published in:

Control Theory & Applications, IET  (Volume:5 ,  Issue: 9 )