Analysis of deadlocks and circular waits using a matrix model for discrete event systems

Marine Traffic Optimization Using Petri Net and Genetic Algorithm

“…Once the siphon becomes empty, it will always remain empty. More about siphons and traps can be found in [9].…”

“…The aim is to demonstrate the applicability of the integration of PN and GA in finding optimized job schedules with no conflicts and deadlocks in multi-project 2 system with multi-shared resources. The matrix approach of deadlock supervisor design, which was originally developed for re-entrant FMS, is selected [17,9]. Figure 1 describes the framework of this new model.…”

“…The second problem is how to produce the design of a deadlock-free supervisor. To achieve this we must apply the matrix approach described in [9,17]. Since these calculated matrices are too large to be presented here, only the results are presented here.…”

“…Lautenbach [8] investigat-ed the algorithm for finding the minimal siphons inside the net as well as the algorithm for deadlock prevention by control places for ordinary PNs which do not contain source places. Lewis [9] developed an efficient algorithm for deadlock prevention in the specific class of PNs that describes FMS. Resource-constrained project scheduling has been a research topic in the last 3 decades, resulting in a wide variety of optimization procedures.…”

Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals

“…The algorithm for finding the minimal siphons inside the net as well as the algorithm for deadlock prevention by control places for ordinary Petri nets which do not contain source places was investigated in (Lautenbach & Ridder, 1996). Further, an efficient algorithm for deadlock prevention in the specific class of Petri nets that describes FMS was developed in (Lewis, et al, 1998). A deadlock prevention which uses iterative siphon control method is described in (Iordache & Moody, 2000) and (Kezić, et al, 2006).…”