An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems

Abstract

Petri nets are used to design deadlock control strategies for flexible manufacturing systems (FMS), which typically involve the addition of monitors and the associated arcs to the FMS. The addition of several monitors and associated arcs to first constructed Petri net model significantly complicates the Petri net controller. This paper develops a two-step method for preventing deadlocks based on a colored Petri net and a structurally minimal approach that significantly reduces the number of monitors. In the first step, a vector covering technique is applied to generate a minimal covered sets of first-met bad markings (FBMs) and legal markings that are respectively smaller than the sets of FBMs and legal markings. At one iteration, place invariants (PIs) corresponding to monitors are constructed by solving an integer linear programming problem (ILPP) to prohibit the maximum number of FBMs, while allowing all legal markings in the minimal covering set. The purpose of the ILPP is to maximize the number of FBMs forbidden by the PIs. Then, based on a colored Petri net, all generated monitors are combined into a global control place. Therefore, a supervisor with minimal structural complexity can be constructed. The obtained net model is controlled after the addition of the designed supervisor. Two instances from the literature are considered to illustrate the proposed approach.INDEX TERMS Colored Petri nets, integer linear programming, flexible manufacturing system, deadlock prevention.

Property Preservation of Object-Oriented Petri Reduction Net Based Representation for Embedded Systems

“…Synthesis [11][12][13][14][15], reduction [16][17][18][19][20][21][22][23][24], and refinement [25][26][27][28][29] are three commonly used Petri net transformation methods. Reduction is an important transformation method.…”

An Internet-of-Things-Based Dynamic Scheduling Optimization Method for Unreliable Flexible Manufacturing Systems under Complex Operational Conditions

“…Flexible manufacturing systems (FMSs) are computer-controlled systems that can automatically execute a variety of activities based on predetermined process plans. The FMS includes a restricted number of resources, including machines, robots, automated guided vehicles (AGVs), and buffers, which are shared by multiple production processes within the system [1]. In an FMS, raw components are simultaneously processed in a predefined sequence to efficiently use constrained system resources and enhance overall system performance [2].…”

A refinement and abstraction method of the SPZN formal model for intelligent networked vehicles systems

“…Formal method is a verification method based on mathematics and logic, which is used to formally describe the behavior and properties of the system, and reason and analyze it [10][11][12]. Formal methods are often widely used in biology [13,14], hardware [15], software [16], industry [17][18][19] and other fields. In intelligent networked vehicle systems, formal methods can be used to establish precise mathematical models to describe the states, events, and transition rules of the system.…”