A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints

Deadlock/livelock problems can cause catastrophic results in flexible manufacturing systems (FMS) by forcing them to stop production processes at an unpredictable stage of production. Therefore, they must be handled properly in order to obtain flawless production in FMS. Petri net (PN) based deadlock/livelock studies for FMS have been widely carried out to obtain live PN models. When a PN model is live, this ensures that the modelled FMS is deadlock-free. Firstly, an uncontrolled (plant) PN model is constructed for the FMS suffering from deadlocks/livelocks. Then reachability graph (RG) analysis of this PN model is carried out to provide all possible reachable states of the modelled system. An RG of a PN model of an FMS suffering from deadlock/livelock problems can be split into the live zone (LZ) and the deadlock zone (DZ). The former is the set of system states considered to be legal (good), while the latter is the set of system states regarded to be illegal (bad). The LZ represents the optimal (maximally permissive) system behavior that must be provided by an optimal control policy. Generally, in PN based liveness studies, a liveness enforcing supervisor (LES) consisting of a set of control places (CP) is computed. Then the controlled (closed-loop) PN model is obtained by merging the plant PN model and the LES. If the number of reachable live states of the controlled PN model is the same as the ones that exist in the LZ, then the controlled model is optimal. Otherwise, it is suboptimal. The greater the number of live reachable states of the RG, the more products to be produced within the FMS. Therefore, the number of reachable live states of the controlled PN model is considered as a quality measure. It defines the behavioral permissiveness of the controlled model. In the literature, to verify the behavioral permissiveness of the PN models, the PN tool called INA (Integrated Net Analyzer) has been widely used. Recently, by means of INA, a method was proposed to compute the number of states within the LZ and the DZ of a given PN model suffering from deadlocks/livelocks. Unfortunately, INA cannot compute RGs of large PNs having a few millions of states. Therefore, in this paper by means of TINA (TIme petri Net Analyzer), an alternative faster and much more efficient method is proposed for the computation of the number of states within the LZ and the DZ for PN models with large RGs. In addition, in order to enable the development of new PN based deadlock prevention methods, further computations are also proposed. These include the computation of the set of states in the DZ, LZ and first met bad markings (FBMs) for a given PN model suffering from deadlocks/livelocks. The applicability and the effectiveness of the proposed methods are demonstrated by considering several well-known examples of FMS from the relevant literature.INDEX TERMS Flexible manufacturing systems (FMS), deadlock, deadlock prevention, Petri Nets (PN), liveness enforcing supervisor (LES), PN computation tools.

Petri nets are a popular mathematical tool to investigate the deadlock problems in resource allocation systems. As an important problem solution paradigm in computer science, the divide-and-conquer strategy is used in this paper to investigate the deadlock prevention for flexible manufacturing systems (FMSs) that are modeled with Petri nets. Based on the concept of resource circuits, a plant net model is divided into an idle subnet, an autonomous subnet, and a number of small but independent subnets, called toparchies, from the viewpoint of deadlock control. A liveness-enforcing supervisor, called toparch, is designed for each toparchy. If a particular separation condition holds in a plant net model, the computational complexity of toparches is significantly reduced. This research shows that the resultant net, called monarch, by composing the toparches derived for the toparchies can serve as a liveness-enforcing Petri net supervisor for the whole plant model. FMS examples are given to illustrate the proposed method.

Petri nets are a kind of formal language that are widely applied in concurrent systems associated with resource allocation due to their abilities of the natural description on resource allocation and the precise characterization on deadlock. Weighted System of Simple Sequential Processes with Resources (WS3PR) is an important subclass of Petri nets that can model many resource allocation systems in which 1) multiple processes may run in parallel and 2) each execution step of each process may use multiple units from a single resource type but cannot use multiple resource types. We first prove that the liveness problem of WS3PR is co-NP-hard on the basis of the partition problem. Furthermore, we present a necessary and sufficient condition for the liveness of WS3PR based on two new concepts called Structurally Circular Wait (SCW) and Blocking Marking (BM), i.e., a WS3PR is live iff each SCW has no BM. A sufficient condition is also proposed to guarantee that an SCW has no BM. Additionally, we show some advantages of using SCW to analyze the deadlock problem compared to other siphon-based ones, and discuss the relation between SCW and siphon. These results are valuable to the further research on the deadlock prevention or avoidance for WS3PR. key words: concurrent systems, Petri nets, liveness, deadlock, resource allocation

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.

Presently, the number, types, and distribution of resources in a resource allocation system (RAS), may change frequently and dynamically due to fluctuant customer demands. Such changes in a resource allocation (RA) specification mean different production or service behaviors yielded by the providers. This new situation gives rise to a challenging problem, namely, how to switch smoothly the provider systems to support different production. This paper tries to address this problem from the viewpoint of discrete event system (DES) supervisory control. A Petri net (PN) controller of an RAS can be designed from a resource allocation specification using P-invariant. Once the RA specification is changed, the controller is updated following it. Moreover, if the changed specification is unreasonable, the whole control system, are reconfigured to reach a legal system state and a newly reasonable resource allocation solution is re-calculated. Specifically, the paper proposed a reconfiguration method of a PN control system that is transformed into PN reachability analysis problem using a mathematic programming approach. In our method, not only the transition firing costs but also the steps of concurrent firing are taken into account to achieve an optimal reconfiguration solution. Finally, an example is provided for illustrating the application of the mentioned methods.

This paper presents an approach to perform Activity Based Costing (ABC) with Petri nets. ABC is a powerful methodology to calculate various of discrete event systems (e.g. production systems). Petri net models of discrete event systems are easy to create, comprehend, and to perform analysis, the mathematics behind Petri nets is also easy to grasp. This paper shows how ABC can be performed with Petri nets, so that various involved in a discrete event system can be easily measured with the help of the Petri net model. After a short introduction to ABC and Petri nets, this paper shows the approach which basically embeds various cost drivers as firing costs and firing times of transitions in a Petri net model. This work also presents a case study that is done with GPenSIM, a toolbox realized with this approach.

This article is devoted to the modeling, performance evaluation and robust control of the railway transport network in Sahel Tunisia. The regular increase in the number of passengers makes the management of transportation systems more and more complex. Railway transport requires specific needs. Indeed, many decision and optimization problems occur from the planning phase to the implementation phase. Railway transport networks can be considered as discrete event systems with time constraints. The time factor is a critical parameter, since it includes schedules to be respected in order to avoid overlaps, delays and collisions between trains. The uncertainties affect the service and the availability of transportation resources and, consequently, the transport scheduling plan. Petri nets have been recognized as powerful modeling and analysis tools for discrete event systems with time constraints. Consequently, they are suitable for railway transport systems. In this article, stochastic P-time Petri nets are used for the railway transport networks in Sahel Tunisia. A global model is first detailed. Then, this model is used to analyze the network traffic and evaluate the performance of the system. Robustness again disturbances is introduced and a control strategy is developed to reduce the consequences of the disturbances in order to maintain the expected schedule.

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.

The use of structure theory of Petri nets to develop efficient deadlock prevention and deadlock avoidance methods for flexible manufacturing systems (FMSs) modelled by S4R nets is demonstrated. Major synchronisation patterns, such as generalised parallel and sequential mutual exclusion, frequently observed in FMS contexts can be represented by this class. The liveness property of a given S4R net (deadlock-freeness in the context of FMSs) is characterised in terms of structural Petri net elements called siphons. An efficient method for controlling minimal siphons of a given S4R net is developed where local control places are added to the net. A sufficient condition for liveness of the augmented net is provided. This constitutes a deadlock prevention approach. When the net liveness condition is not satisfied, an on-line controller, using a dynamic resource allocation policy, is developed for the augmented net. The performance of the proposed approaches is illustrated using several examples.

To solve the problem of deadlock prevention for timed Petri nets, an effective deadlock prevention policy based on elementary siphons is proposed in this paper. Without enumerating reachable markings, deadlock prevention is achieved by adding monitors for elementary siphons, increasing control depth variables when necessary, and removing implicit, liveness‐restricted and redundant control places. The final supervisor is live. First, a timed Petri net is stretched into a stretched Petri net (SPN). Unchanging the system performance, each transition in the SPN has a unit delay time. Then the siphon‐control‐based approach is applied. Monitors computed according to the marking constraints are added to the SPN model to ensure all strict minimal siphons in the net invariant‐controlled. A liveness‐enforcing supervisor with simple structure can be obtained by reverting the SPN into a TdPN. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society

This article addresses expressiveness problems for Petri nets and their useful extension for modeling and control of a system that can be modeled with Petri nets. We construct some Petri net modules, namely, an enabling module, an inhibitor module and a Modulo-N counter, which are useful for system operations. We also present the simplifications for the enabling and inhibitor modules. Then, we propose two new types of arcs, namely, enabling and inhibitor arcs, with a weighted function set. The arcs with the weighted function set from places to transitions are the marked arcs. A function set is employed to denote the weight of an arc according to the system requirements. They are very useful to solve the resource reallocation problem in a resource allocation system, where resource sharing contributes to the occurrences of deadlocks. Finally, two examples are used to show the advantages of the presented new types of arcs.

In the above paper, it proposes a deadlock prevention policy for a flexible manufacturing system (FMS), which needs the complete state enumeration of the FMS that is modeled with Petri nets. The reachability graph of a Petri-net model is divided into two parts: the live zone (LZ) and the deadlock zone (DZ). The states in the LZ of the reachability graph of a Petri net constitute the legal behavior of the net from the viewpoint of deadlock prevention. The concept of first-met bad markings is proposed. A first-met bad marking is a node in DZ, whose father nodes are in LZ. The deadlock prevention policy is used in an iterative way. At each iteration, a first-met bad marking is identified from the reachability graph of a Petri net to be controlled. The reachability of a first-met bad marking is prohibited by adding a monitor, establishing a marking invariance relationship between the additional monitor and the activity places that are marked under the first-met bad marking. To achieve this, without a formal proof, [Lemma 1] is developed as shown in this article.

In flexible manufacturing systems, deadlocks usually occur due to the limited resources. To cope with deadlock problems, Petri nets are widely used to model these systems. This chapter focuses on deadlock prevention for flexible manufacturing systems that are modeled with S4R nets, a subclass of generalized Petri nets. The analysis of S4R leads us to derive an iterative deadlock prevention approach. At each iteration step, a non-max-controlled siphon is derived by solving a mixed integer linear programming. A monitor is constructed for the siphon such that it is max-controlled. Finally, a liveness-enforcing Petri net supervisor can be derived without enumerating all the strict minimal siphons.

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. >

Discrete event systems in applications, such as industry and supply chain, may show a very complex behavior. For this reason, their design and operation may be carried out by the application of optimization techniques for decision making in order to obtain their highest performance. In a general approach, it is possible to implement these optimization techniques by means of the simulation of a Petri net model, which may require an intensive use of computational resources. One key factor in the computational cost of simulation‐based optimization is the size of the model of the system; hence, it may be useful to apply techniques to reduce it. This paper analyzes the relationship between two Petri net formalisms, currently used in the design of discrete event systems, where it is usual to count on a set of alternative structural configurations. These formalisms are a particular type of parametric Petri nets, called compound Petri nets, and a set of alternative Petri nets. The development of equivalent models under these formalisms and the formal proof of this equivalence are the main topics of the paper. The basis for this formal approach is the graph of reachable markings, a powerful tool able to represent the behavior of a discrete event system and, hence, to show the equivalence between two different Petri net models. One immediate application of this equivalence is the substitution of a large model of a system by a more compact one, whose simulation may be less demanding in the use of computational resources.