Deadlock Resolution in Automated Manufacturing Systems

Abstract

The use of registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use.The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made.

Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets -- Part 1: Invariants, Siphons and Traps in Deadlock Avoidance

“…Of course, since that time the deadlock theory, and especially the deadlock avoidance one, has been intensively developed -see e.g. [46,78,79,80,81,75,74,73,82,86,87] and especially [63,8,25,55,56,57,59,62,64,28,29,30,31,32,33,34,35,36,37,38,39,40,92,93,94,91,88,89,65,66,67,68,69,58,60,61,47,48,49,50,51,…”

“…Let S ⊆ P be a subset of places of N . The (n × 1) vector S σ σ σ is called [58,51,91] the characteristic P -vector of S if ∀p ∈ S : S σ p = 1; otherwise S σ p = 0. The (m × 1)…”

“…Then, the properties of found siphons are utilized at the control synthesis. Although this topic was opened long ago [72,1,2] it is still very live -see recent contributions [7,24,25,51,9,10,63,8,25,55,56,57,59,62,64,28,29,30,31,32,33,34,35,36,37,38,39,40]. The basis of such an approach to control consists in avoiding of emptying (unmarking) of places creating the siphons.…”

“…More details can be found e.g. in [47,48,49,50,51] as well as in [63,8,25,55,56,57,59,62,64,28,29,30,31,32,33,34,35,36,37,38,39,40]. More details can be seen e.g.…”

“…More details can be seen e.g. in [47,48,49,50,51] as well as in a great deal of applications in [63,8,25,55,56,57,59,62,64,28,29,30,31,32,33,34,35,36,37,38,39,40], where also newest approaches to the siphon-based control of AMS/FMS and RAS are presented as follows.…”