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.