DocumentCode :
857706
Title :
Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service
Author :
Fanti, Maria Pia
Author_Institution :
Electr. & Electron. Eng. Dept., Polytech. of Bari, Italy
Volume :
34
Issue :
1
fYear :
2004
Firstpage :
80
Lastpage :
92
Abstract :
Automated manufacturing systems (AMSs) can process different parts according to operation sequences sharing a finite number of resources. In these systems, deadlock situations can occur so that the flow of parts is permanently inhibited, and the processing of jobs is partially or completely blocked. Hence, one of the tasks of the control system is ruling resource allocation to prevent such situations from occurring. A large part of the existing literature focused on systems in which every operation is performed by only one resource. This paper proposes a deadlock strategy to avoid deadlock conditions in more complex systems where multiple resource acquisitions are allowed to complete a working operation conjunctive resource service system (CRSS). The AMS structure and dynamics is described by a colored timed Petri net model, suitable for following resource changes and working procedure updating. Moreover, digraphs characterize the complex interactions between resources and jobs so that the conditions for the deadlock occurrence are derived. Finally, an event-based controller is defined to avoid deadlock in CRSSs on the basis of the system state knowledge and of the given priority law ruling the concurrent job selection.
Keywords :
Petri nets; concurrency control; factory automation; large-scale systems; resource allocation; automated manufacturing systems; colored timed Petri net model; complex systems; concurrent job; conjunctive resource service; deadlock resolution strategy; diagraphs; event-based controller; multiple resource acquisitions; resource allocation; resource changes; system state; working procedure updating; Automatic control; Control system synthesis; Control systems; Job shop scheduling; Manufacturing systems; Petri nets; Processor scheduling; Production systems; Resource management; System recovery;
fLanguage :
English
Journal_Title :
Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on
Publisher :
ieee
ISSN :
1083-4427
Type :
jour
DOI :
10.1109/TSMCA.2003.822377
Filename :
1259436
Link To Document :
بازگشت