Petri-net based description, analysis and simulation of concurrent processes

This study deals with deadlock problems in a system with uncontrollable and unobservable events, which is modeled with a subclass of Petri nets. We design monitors to enforce constraints for minimal siphons in a Petri net model. A key point of this paper is how to select the input and output arcs of a monitor when there exist uncontrollable and unobservable transitions. After the enforcement of constraints, an iterative algorithm is developed to obtain a controlled system with liveness. A sufficient and necessary condition is established to decide the existence of a monitor enforcing a constraint in a plant with uncontrollable and unobservable transitions.

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.

When a Petri net is synthesised from a labelled transition system, it is frequently desirable that certain additional constraints are fulfilled. For example, in circuit design, one is often interested in constructing safe Petri nets. Targeting such subclasses of Petri nets is not necessarily computationally more efficient than targeting the whole class. For example, targeting safe nets is known to be NP-complete while targeting the full class of place/transition nets is polynomial, in the size of the transition system. In this paper, several classes of Petri nets are examined, and their suitability for being targeted through efficient synthesis from labelled transition systems is studied and assessed. The focus is on choice-free Petri nets and some of their subclasses. It is described how they can be synthesised efficiently from persistent transition systems, summarising and streamlining in tutorial style some of the authors’ and their groups’ work over the past few years.

The paper is a partial synthesis of the work that a team within the Faculty of Managerial and Technological Engineering has in the field of modeling and simulation of systems with Petri nets. The paper deals with three issues. The first part is Modeling and simulation of manufacturing systems with timed Petri nets. The first part presents the way in which the performances of some manufacturing systems are evaluated using timed Petri nets. The first example is a manufacturing system specific to the textile industry. The system has three production lines. In this case, the modeling with timed Petri nets allows the analysis of the operation of the flow lines and highlights the bottleneck. Another modeled manufacturing system is specific to a series production, more precisely it refers to the manufacture of gas cookers within a company from Oradea. The model with Petri nets also describes the supply sequences of the stocks of parts and subassemblies. The next modeled system is an automated manufacturing system for the packaging of detergents. The complexity of the Detergent Packing System and the high level of automation, require the use of efficient modeling and simulation methods to verify the validity of the solutions adopted. In this chapter is present the model of a robotic welding cell. The second part of the paper, the transition from timed Petri nets to hierarchical colored Petri nets, shows how Petri nets were developed for a robotic cell for metallographic analysis. The third part is dedicated to modeling with colored Petri nets timed with complex colors of the flexible manufacturing cell A007 within the Department of Industrial Engineering.

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 methods of modeling and control of discrete event robotic manufacturing cells using Petri nets are considered, and a methodology of decomposition and coordination is presented for hierarchical and distributed control. Based on task specification, a conceptual Petri net model is transformed into the detailed Petri net model, and then decomposed into constituent local Petri net based controller tasks. The local controllers are coordinated by the coordinator through communication between the coordinator and the controllers. Simulation and implementation of the control system for a robotic workcell are described. By the proposed method, modeling, simulation, and control of large and complex manufacturing systems can be performed consistently using Petri nets.

The specification and distributed control of discrete event robotic manufacturing systems using Petri nets are considered, and a methodology of decomposition and coordination is presented for hierarchical and distributed control. First, a task specification is defined as a Petri net model at the conceptual level, and then transformed to the detailed Petri net representation of the subtasks. Finally, the overall Petri net is decomposed and the constituent subnets are assigned to local Petri net based controllers. The controllers are coordinated by the coordinator so that the decomposed transitions fire at the same time. System coordination algorithm through communication between the coordinator and the controllers, is presented. By the proposed method, modeling, simulation and control of large and complex manufacturing systems can be performed consistently using Petri nets.

This paper deals with the modeling and control of discrete event robotic manufacturing cells using Petri nets, and proposes a methodology of model based design and implementation of hierarchical and distributed control. Hierarchical Petri net models are adopted; conceptual Petri net model and detailed Petri net model. The overall detailed Petri net model is decomposed into local Petri net models which are used by the local machine controllers. The upper level station controller coordinates the distributed local controllers so that the aggregate behavior of decomposed subnets is the same as that of the original Petri net. The overall control system is implemented using multithreaded programming based on Petri net based multitask processing. Simulation experiments show that the distributed Petri net model based control system can perform the overall multitask processing control by coincidence of the behavior of the real system with the local Petri net models.

Modelling and analysis of kanban-controlled (just-in-time) production systems under realistic assumptions presents a number of challenges, including the ability to conduct both qualitative and quantitative analysis, and the ability to model control policies. These challenges are due, in part, to station interdependence, blocking and starvation due to limited buffer spaces, and the necessity of modelling both material and kanban flows. Petri nets (PNs) have recently emerged as a promising approach for modelling manufacturing systems. PNs are a graphical and mathematical technique useful for modelling concurrent, asynchronous, distributed, parallel, non-deterministic and stochastic systems. PN models can be analysed to determine both their qualitative and quantitative properties. In this paper, we develop stochastic, coloured PN (SCPN) models of a JIT system utilizing two different kanban control policies: a traditional kanban system (TKS) policy and a flexible kanban system (FKS) policy. The resulting models can be used to represent JIT systems of arbitrary size, producing single or multiple types of products, with fixed order points 1. The models are shown to be live and bounded, and can be simulated to produce quantitative results. Sample simulation results are presented to illustrate the models' capabilities.

To simulate and debug or diagnose manufacturing systems is always challenging. This paper presents a hybrid PLC-controlled and PC Visual Basic (VB)-based Human-Machine Interface (HMI) platform based on Petri net (PN) theory for Manufacturing Systems. An augmented PN model was adopted to design and simulate the operational sequence of the Flexible Manufacturing System (FMS) at the National Kaohsiung First University of Science and Technology (NKFUST). With the simulated PN model, the control sequences were quickly translated into PLC programs. A PC-based HMI monitoring system based on the PN model was developed to provide an intuitive offline simulation and online diagnostic tools for the FMS. This hybrid system shows many of advantages by using the economical discrete control unit with PLC, and PC-based HMI using PN model as a base. The discrete event control sequence of an FMS can be easily modeled and evaluated before its build-up. More importantly, it can be diagnosed online when the system is malfunctioning. That is, the presented system provides an adequate means for offline system design, simulation, performance evaluation, and quick online system diagnostic.

Modeling and Simulation of Flexible Manufacturing Systems Controlled by Petri Nets

Process mining uses event logs to improve business processes, but such logs may contain privacy information. One popular research problem is the privacy protection of event logs. Publishing logs with differential privacy is one of major research directions. Existing research achieves privacy protection primarily by injecting random noise into event logs, or merging similar information. The former ignores the fact that injecting random noise will produce apparently unreasonable activity traces, and the latter will cause a loss of process information in the process mining perspective. To solve the above problems, this article proposes a differential algorithm based on randomized response to model Petri nets for the original event logs, select the important labels in the logs by the weak sequential relationship of control flow between activities, inject noise into the Petri net model based on the important labels using the randomized response approach, and establish a differential Petri net model. Experiments on public datasets show that the event logs produced by the approach proposed do not contain unreasonable traces. Compared with the baseline approach, the proposed approach performs better on Fitness metrics with consistent privacy requirements and retains more process variants, reducing the loss of original event log process information.

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 chapter, that can be seen as the continuation of the previous one, presents additional background material on Petri nets. In particular, the main focus is on structural analysis, i.e., algebraic tools that do not require the enumeration of the reachability set of a marked net but are based on the analysis of the state equation, on the incidence matrix, etc. Meaningful structural properties, i.e., properties that are only related to the structure of the net and not to its initial marking, are also defined and analyzed. Subclasses of Petri nets are finally defined and simplified analysis criteria that pertain to these classes are presented.

A design methodology for self-timed VLSI systems is proposed. This includes a language for describing algorithmic behaviour which is based on the data-flow concept. A subclass of Petri nets is introduced to model the designed system, and a refinement technique is presented that allows for the synthesis of correct-by-construction systems. Finally, a systematic means for implementing the design is given.