Petri Net's execution algorithm for applications in manufacturing systems control

The aim of this article is to present an algorithm for interpreting condition/event Petri Nets for real-time control of discrete event systems. A brief exposition of the new challenges in manufacturing systems is made, explaining some features of multiprocessing, resource sharing, and reducing product life cycles, which increase the complexity of the related control programs. Next, it is shown that the programming languages in IEC 61131-3 are unsuitable for dealing with this complexity problem, and the condition/event Petri Net is presented as a possible solution. Then, the concept of condition/event Petri Nets is briefly explained, to introduce the algorithm itself afterwards. This algorithm is object-oriented, which increase its reuse/improvement potential. Finally, a runtime analysis of the algorithm is presented.

[1]  Koji Takahashi,et al.  Proposal of Mark Flow Graph for Discrete System Control , 1984 .

[2]  Georg Frey,et al.  Editing, Visualizing, and Implementing Signal Interpreted Petri Nets , 2000 .

[3]  B. Shneiderman,et al.  Flowchart techniques for structured programming , 1973, SIGP.

[4]  Georg Frey,et al.  Internet-based development of logic controllers using Signal Interpreted Petri Nets and IEC 61131 , 2001 .

[5]  Lothar Litz,et al.  Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[6]  Paulo E. Miyagi,et al.  On Resource Arc for Petri Net Modelling of Complex Resource Sharing System , 1999, J. Intell. Robotic Syst..