Colored Resource-Oriented Petri Net Based Ladder Diagrams for PLC Implementation in Reconfigurable Manufacturing Systems

Abstract

A typical example of discrete event systems (DESs) is a reconfigurable manufacturing system (RMS) whose can be changed and become more complicated during its operation. Thus, an effective tool needs to be developed to create both high-and low-level DES implementation. The ladder diagram (LD) is a common programming method for controlling DESs. Petri nets (PNs) represent the most important graphical and mathematical tool that can be used to provide an integrated solution for the design, modeling, analysis, control, and implementation of DESs. Various types of PN-based LDs are developed for DESs, which have high structural complexity of the LDs. Therefore, an approach that can facilitate the elimination of the LDs' structural complexity needs to be developed. The main objective of this paper is to develop a two-step approach for LDs implementation for RMSs with dynamic changes. First, a colored resource-oriented Petri net (CROPN)-based algorithm is proposed for a rapid and valid configurations of an RMS. Second, a ladder diagram colored resource-oriented Petri net (LDCROPN) is developed to convert the CROPN into an LD. The developed approach is evaluated using examples in the literature. Moreover, the results demonstrate the effectiveness of the developed approach for LD implementation under RMS specification changes.

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

“…Then, the Lingo solver was used to solve IMFFP. In addition, we have coded Algorithm 2 to construct the global control point using the GPenSIM tool [33][34][35][36]. Figure 9 illustrates a Petri net model, which has been studied in [8,10,21,28,[37][38][39][40] 2.…”

A New MINLP Continuous Time Formulation for Scheduling Optimization of Oil Refinery with Unreliable CDUs

“…e complexity of the model is proportional to the size of the system when using the resource-oriented Petri net (ROPN) modelling approach developed in [34][35][36][37][38][39], as each resource in the system is represented by a single point in the model. is paper will extend the ROPN modelling method to model an oil refinery process by modelling each resource in the system as a module to make the obtained model tractable.…”

A Novel Method for Converting Colored Petri Nets to Ladder Diagram in the Automation of Automated Manufacturing Systems

“…Automated manufacturing systems (AMSs) are defined as a series of discrete states and a state evolution based on the events that characterize the system state [1,2]. AMSs require a control program using mathematical and graphical tools with a variety of characteristics, including efficiency, accuracy, and adaptability [3][4][5]. Industrial automation typically use programmable logic controllers (PLCs).…”

“…Wu and Zhou have been studying deadlock avoidance employing ROPNs to characterize the dynamic resource competition among components of an AMS [3][4][5][47][48][49][50][51][52][53][54][55][56]. In ROPN, there is a "one-to-one mapping" between the resources and the places, resulting in a finite capacity colored Petri net model.…”

“…Therefore, it is crucial to develop methods that assist in ensuring the effectiveness of conversion algorithms implemented in industrial processes or machines. This research is an extension of [3,5] and presents a novel approach to the development of ladder diagrams for AMSs. First, a CROPN modeling technique and control laws are introduced for modeling and ensuring the prevention of deadlock in the operations of an AMS.…”