Abstract

Using Petri nets (PNs) to control discrete event systems (DES) has many benefits, because of their graphical representations, the possibility of parallel process control, and their formal descriptions. Amongst the different PNs that are applied for this purpose, most have some limitations for visualization. For many of these PNs, another restriction is the length of time between the creation of the control algorithm in the form of a graph and its practical implementation. These two issues can be resolved with one solution called fuzzy interpreted PN (FIPN). This article proposes the use of a program model based on FIPN to control DES and the method for generation of this model using the graphical representation of the net. FIPN offers a better visualization in comparison to discrete PNs and it allows for the quick creation of program code through the application of a simulator called FIPN-SML. This computer tool implements a method that transforms the graphical form of FIPN into Structured Text (ST) language supported by the IEC 61131-3.

Highlights

  • A finite state machine and a finitely recursive process can be used to model discrete event systems (DES) [1,2], researchers began to use Petri nets (PNs)

  • This simulator can be used to create a graph of fuzzy interpreted PN (FIPN) and to generate program code for programmable logic controllers (PLCs) in Structured Text (ST) language based on this graph

  • The model FIPNP is divided into two parts: a set of variables and the functions that operate on these variables

Read more

Summary

Introduction

A finite state machine and a finitely recursive process can be used to model discrete event systems (DES) [1,2], researchers began to use Petri nets (PNs). That enable the analysis of various net properties were created These tools can be applied to simulate the operations of systems based on PNs and to find their properties automatically. They usually permit the modelling of specific classes of nets. In [38], the method to generate LD code based on control Petri net (CPN), and the specification for the creation of DES through the application of this net is presented. The computer tool called FIPN-SML facilitates the application of FIPN [53] This simulator can be used to create a graph of FIPN and to generate program code for PLCs in ST language based on this graph. The example of program generation in ST language through using FIPN-SML (Section 5.2) is discussed and a brief summary of the results and possible directions of future developments are given (Section 6)

Comparison to Related Works
The Formal Basis and the Conception of FIPN
The remains active until the markers
The Program Model of the FIPN
The model based based on on FIPN
The Program Model of the FIPN—Functions
The Calculation of the New Marking
The Setting of Output Variables
The Method of Automatic Program Generation Using ST Language
Algorithms of the Program Generation Based on FIPN
An Example of Program Generation in ST Language
Conclusions
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.