Thumbnail
Access Restriction
Subscribed

Author Barkaoui, K. ♦ Ben Abdallah, I.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©1995
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations
Subject Keyword System recovery ♦ Flexible manufacturing systems ♦ Petri nets ♦ Production ♦ Control systems ♦ Runtime ♦ Testing ♦ Resource management ♦ Performance evaluation
Abstract In this paper we propose a deadlock prevention method for a class of FMS called System of Simple Sequential Processes with Resources (S/sup 3/PR). This method is based on structural theory of Petri nets and it is composed by two phases. The first phase adds local control places to the S/sup 3/PR net such that all uncontrolled siphons of the S/sup 3/PR net become controlled. We then obtain the augmented S/sup 3/PR net. When deadlock-freeness of the augmented S/sup 3/PR net is not guaranteed, we modify initial markings of local control places. Thus, we obtain the controlled S/sup 3/PR net. We demonstrate that the controlled net cannot reach a dead-marking and by exploiting its structure, we state its liveness.
Description Author affiliation: Lab. CEDRIC-CNAM, France (Barkaoui, K.)
ISBN 0780325591
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1995-10-22
Publisher Place Canada
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 589.02 kB
Page Count 6
Starting Page 4119
Ending Page 4124


Source: IEEE Xplore Digital Library