Design and implementation of a logic controller using petri nets and ladder logic diagrams

Tzafestas, Spyros G.; Pantelelis, Michail; Kostis, D.L.

doi:10.1016/s1474-6670(17)38072-2

Cited by 2 publications

(3 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Various methods developed using PNs in LD have been employed in the modeling, simulation, analysis, and control of transformation algorithms [28][29][30][31][32][33][34][35][36][37][38][39][40][41][42]. Using the token pass ladder logic (TPLL), Jones et al [28,29] design a concept for the conversion of PN into LD.…”

Section: Introductionmentioning

confidence: 99%

“…Then, the obtained code is verified using the SIEMENS STEP7 compiler. In [41], a technique is developed for creating the related LD for the PLC using Petri net models, which has been demonstrated to be efficient by the application to a sequence controller of a small-scale robotic system. The experimentation is carried out with Allen Bradley PLC for programming in an educational system.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

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

Kaid

Al-Ahmari

2020

IEEE Access

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

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

Kaid

Al-Ahmari

2020

IEEE Access

View full text Add to dashboard Cite

show abstract

“…A frequent approach is modeling the controller and industrial system with a Petri Net, and then generating the ladder diagram from it [4], [5], [7]. A major drawback with these methods is that, it is difficult to deduce the global state of the system by the position of tokens in a net.…”

Section: Introductionmentioning

confidence: 99%

Coloured Petri Net based PLC program validation with a fast simulation method

Schné

Holczinger

2013

2013 International Conference on Process Control (PC)

View full text Add to dashboard Cite

A Coloured Petri Net (CPN) based method for Programmable Logic Controller (PLC) program validation is proposed in this paper. It uses a simple fixed net structure and does not require the creation of different Petri Nets for every new PLC program. The base of the method is the so-called technology description and operation state table used in engineering practice. The CPN simulates the operation of the PLC and compares the resulted values to the desired ones. In the case of a difference it indicates the existence of an error. The method is capable of automatic program validation and safety analysis, which is demonstrated through the example of an oil tank system.

show abstract

Design and implementation of a logic controller using petri nets and ladder logic diagrams

Cited by 2 publications

References 5 publications

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

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

Coloured Petri Net based PLC program validation with a fast simulation method

Contact Info

Product

Resources

About