Deadlock avoidance for manufacturing multipart re-entrant flow lines using a matrix-based discrete event controller

On the Development of Matrixc, a Discrete Event Controller Supervisor: Implementation of a Fuzzy Logic Dispatching Approach

The use of shared resources is a major problem occurring in discrete event (DE) systems, including manufacturing systems, computer systems, communication systems, highway/vehicle systems, and others. The issues involve problems of assignment of resources when the same resources are simultaneously requested by more than one job. Failure to suitably assign, or dispatch, resources in such situations can have serious deleterious effects on system performance, resulting in extreme cases in system deadlock [7]. Computer operating systems engineers and industrial engineers have used the concepts of circular wait (CW) and circular blocking in analysis of such phenomena [41, 24]. Various concepts in Petri nets (PN) are extremely useful for dealing with deadlock and a great deal of research has been done from the PN point of view (see references, especially [11, 14, 19]). The PN approaches are often based on the notion of the siphon, which indeed is called a “deadlock” in some works [26]. Unfortunately, it is known that many problems in scheduling, dispatching, and deadlock analysis are NP-hard [12], so that significant increases in computing power do not significantly improve computational ability. Neither PN nor CW approaches have addressed this issue.

In this paper a hybrid approach is proposed for supervisory control of discrete event systems (DES) subject to forbidden states. Assuming that an uncontrolled bounded Petri net (PN) model of a (plant) DES and a set of forbidden state specifications are given, the proposed approach computes a maximally permissive and nonblocking closed-loop hybrid model. The first step is to simplify the given PN model by means of PN reduction rules. The simplified model and the specifications are then represented as buffers, and supervisory control theory (SCT) is applied to obtain a Ramadge–Wonham (RW) supervisor in the form of an automaton. After reduction of the latter’s state size by a ‘control congruence’, the simplified RW supervisor is represented by a so-called auto-net and coupled to the given uncontrolled PN plant model by means of inhibitor arcs to represent the disabling actions. The plant model and supervisor auto-net run concurrently, synchronizing on shared events. This procedure provides a maximally permissive and nonblocking ‘hybrid’ (mixed PN/automaton) closed-loop controlled system. The method is straightforward logically, graphically, and technologically. Its applicability is shown by two examples, one of them a workcell from the PN control literature.

State-Partition-Based Control of Discrete Event Systems for Enforcement of Regular Language Specifications

We propose a formalism for decentralized control of discrete event systems with communications. The formalism is based on PN/sup 2/, a class of agent-oriented Petri nets proposed by the author (2001). The main difference between PN/sup 2/ and Petri nets is that each token, representing an agent, is also a Petri net. The decentralized control system to be modeled has the following features: (1) the system is asynchronous and has no global clock; (2) some events may occur concurrently; (3) the system is controlled by several control agents, each of which perceives only a subset of occurring events, and can control only a subset of events; and (4) each control agent can communicate with other agents. By communications, each agent can know occurrences of events that are not observable for it, and can ask other agents to disable events that are not controllable for it. Using the formalism, we define a problem concerning control synthesis.

Solving the deadlocks avoidance problem in Resource Allocation Systems (RAS) in Discrete-Event Systems (DES) is a rife problem, especially in Flexible Manufacturing Systems (FMS), alias Automated Manufacturing Systems (AMS). Petri Nets (PN) are an effectual tool often used at this procedure. In principle, there are two basic approaches how to deal with deadlocks in RAS based on PN. They are listed and illustrated here. First of the approaches is realized by means of the supervisor based on P-invariants of PN, while the second one is realized by means of the supervisor based on PN siphons. While the first approach needs to know the reachability graph/tree (RG/RT) expressing the causality of the development of the PN model of RAS, in order to find (after its thorough analysis) the deadlocks, the second approach needs the thorough analysis of the PN model structure by means of finding siphons and traps. Next, both approaches will be applied on the same PN model of RAS and the effectiveness of the achievement of their results will be compared and evaluated. Several simple illustrative examples will be introduced. For the in-depth analysis of the problem of deadlock avoiding, next Part 2 of this paper is prepared, where the newest research will be introduced and illustrated on more complicated examples. If necessary (because of the limited length of particular papers), also the third part – Part 3, will be prepared.

Petri nets have been extensively applied for specification, design, verification, performance evaluation, and simulation of discrete event control systems (DECS). The usual way to verify the dynamic behaviour of DECS design is to employ a process-based model, which proves to be impractical in application because the process-based model does not usually fully correspond to the control programming behaviour. This paper proposes a sensor-based stage Petri net (SBSPN) to represent a programmable logic controller (PLC) stage logic diagram (LD) for discrete-event control design. The new technique is able to simplify the modelling process of the complex PLC program without considering the interlocking problem within the ladder diagram. An illustrated example is used to explore the new methodology. The proposed method contains the power and flexibility of the Petri net analysis prior to the PLC implementation. It is believed that this technique is significant for industry practice.

This paper deals with supervisory control for deadlock prevention and deadlock avoidance in processes modelled by Petri nets (PN's). In this paper the problem of deadlocks prevention is solved for a particular class of controlled PN's, the regular Petri nets, i.e. the PN's which generate a regular language. For this class of PN's, the problem can be faced in the Ramadge-Wonham framework by the construction of an automaton that is linguistically equivalent to the given PN and transferring the problem of deadlocks search in PN to a path problem on such automaton. Finally the problem of deadlock avoidance is faced in a more general framework making reference to a PN which is not necessarily regular. >

This work presents a framework for the coordination control of Discrete Event Systems (DES) based on Petri Nets (PN). The concept of enabling arcs is used in the transitions for signal reception by the controller. The structural properties of the PN controller are studied by analyzing it as an interpreted PN. PN models of both the controller and the system to be controlled are presented, the latter performed through a Temporized Petri Net (TPN). A software module for DES coordination control was developed, based on the above cited structure and programmed in C-language which interacts with the DES local controllers. This program is run in an IBM-compatible 486 PC.KeywordsDiscrete event systemscoordination controlPetri nets.

As automated manufacturing systems become more complex, the need for an effective design tool to produce both high-level discrete event control systems (DECS) and low-level implementations becomes more important. Petri nets represent the most effective method for both the design and implementation of DECSs. In this paper, automation Petri nets (APN) are introduced to provide a new method for the design and implementation of DECSs. The APN is particularly well suited to multiproduct systems and provides a more effective solution than Grafcet in this context. Since ordinary Petri nets do not deal with sensors and actuators of DECSs, the Petri net concepts are extended, by including actions and sensor readings as formal structures within the APN. Moreover, enabling and inhibitor arcs, which can enable or disable transitions through the use of leading-edge, falling-edge and level of markings, are also introduced. In this paper, the methodology is explained by considering a fundamental APN structure. The conversion of APNs into the IEC1131-3 ladder diagrams (LD) for implementation on a PLC is also explained by using the token passing logic (TPL) concept. Finally, an illustrative example of how APNs can be applied to a discrete manufacturing problem is described in detail.

Using elementary Petri nets, it is difficult to mixturely model the discrete, continuous and other complicated events, for example, DNA, RNA and amino acid sequence events. Therefore, Hybrid Functional Petri Net with extension (HFPNe) was introduced to overcome this difficulty and also to allow representation of pathway models without loss of biological details. First, this book chapter explains how modeling with Petri net is done. After which, a full definition of HFPNe is given, along with its relation to hybrid Petri net and other related Petri net extension. Finally, to demonstrate the elegance of HFPNe architecture in handling complex pathway modeling, we chose a biological pathway that involves discrete, continuous and sequence events (gene regulatory network of the cell fate determination in C. elegans). We provide the biological mechanisms of this network and show how intuitively it could be modeled on HFPNe architecture using a software tool, Cell Illustrator.KeywordsGene Regulatory NetworkCell Fate DeterminationInput PlaceOutput PlaceContinuous PlaceThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

The cooperation of autonomous agents is synthesized in order to satisfy demands imposed on a group of agents or on MAS (multi agent systems). Petri nets (PNs), especially place/transition PNs (P/T PNs), are used for modelling the agents. The modular approach is utilized on that way. PN-based methods of discrete event systems (DES) control and supervising are utilized in order to synthesize the cooperation of the agents. The usefulness and applicability of the approach is demonstrated by examples and case studies.KeywordsAgentsbipartite graphscontrolcooperationdiscrete-event systemsPetri netssupervisorsynthesis

This paper extends a rule-based controller formulation described in the references to include the maxplus formulation in the case of general Petri nets, not only event graphs. This potentially allows design of conflict resolution inputs (i.e. dispatching rules) for the re-entrant flow line and the job shop problem in the maxplus algebra, as well as in a new algebra being developed for discrete event dynamical systems in the references. >

A Petri net with controller is used to model discrete events in flexible job shop scheduling, the objective of scheduling problems is to minimize make-span, the scheduling results is obtained based on genetic and Tabu Search (TS) algorithm. It is proved capable of providing optimized schedule to the job-shop where the machine tool and manpower resources are both constrained. After crossover and mutation operations, an optimal or suboptimal scheduling plan can be found. The result of the test shows that this method is feasible and efficient. Job shop scheduling is the primary content and critical technology of the production management of CIMS, in the past during 30 years, a lot of researchers and results focus on it, but most of them deal with single objective and resource scheduling problems which are fixed processing route and constrained by machine, and production period is its optimal objective. Nevertheless, the production styles are variable and processing route is determined under the special condition. Moreover, job shop scheduling problem is the most difficult combined constraints optimal problem and typical NP hard problem which can't be solved in polynomial time by an effective algorithm. Up to date, there are some traditional algorithms to solve JSP problem (1-2). About paper (3), Petri net is used to construct JSP model and L1 which combines branch and bound algorithm with dynamic program is used to search its optimal solution. And paper (4), the job sequence is assigned by genetic code firstly, and then filtered beam search which based on breadth-first algorithm is adopted to search. In recent years, the Petri net as a discrete event dynamic system modeling and analysis tool(5), has been successfully applied to the flexible manufacturing system modeling, analysis and control. Some researchers put forward to be based on Petri network scheduling method, but only on the production line itself can not reflect the modeling, as in the production line of external control scheduling strategy influence. A hybrid algorithm is proposed to solve dual-resource scheduling problem in flexible production environment, and Petri net model with a controller, which can effectively model control. It combines the advantage of global search ability of GA with the self-adaptive merit of Tabu Search (TS) and improves its convergence. It is proved capable of global and part searching ability and efficient.

The emergence of Supply Chains (SCs) is an outcome of the recent advances in logistics and information technology. SCs are complex networks interconnecting different independent manufacturing and logistics companies integrated with material, information and financial flows (Viswanadham & Raghavan, 2000). Typically, SC management decisions are classified into three hierarchical levels according to the time horizon of decisions: strategic (longterm), tactical (medium-term), and operational (short-term, real-time) (Chopra & Meindl, 2001; Shapiro, 2001). Accordingly, different models have to be defined at each level of the decision hierarchy to describe the multiple aspects of the SC. While the development of formal models for SC design at strategic and tactical levels was addressed in the related literature (Dotoli et al., 2005; Dotoli et al., 2006; Gaonkar & Viswanadham, 2001; Luo et al., 2001; Vidal & Goetschalckx, 1997; Viswanadham & Gaonkar, 2003), research efforts are lagging behind in the subject of modeling and analyzing the SC operational performance. At the operational level, SCs can be viewed as Discrete Event Dynamical Systems (DEDSs), whose dynamics depends on the interaction of discrete events, such as customer demands, departure of parts or products from entities, arrival of transporters at facilities, start of assembly operations at manufacturers, arrival of finished goods at customers etc (Viswanadham & Raghavan, 2000). Among the available DEDS analytical formalisms, Petri Nets (PNs) may be singled out as a graphical and mathematical technique to model systems concurrency and synchronization. Moreover, PNs are able to capture precedence relations and structural interactions and may be executed in standard engineering software packages simply implementing their dynamics via the corresponding matrix equations. However, most SC models based on PNs proposed in the related literature share the limitation that products are modelled by means of discrete quantities, called tokens (Desrochers et al., 2005; Dotoli & Fanti, 2005; Elmahi et al., 2003; Viswanadham & Raghavan, 2000; Von Mevius & Pibernik, 2004; Wu & O’Grady, 2005). This assumption is not realistic in large systems with a huge amount of material flow: the state space of the SC model generally turns out to be excessively large, so that inconveniences in the simulation and performance optimization often arise, leading to large computational efforts. Since SCs are DEDSs whose number of reachable states is very large, PN formalisms using fluid approximations provide an