Modeling of Object-Oriented Programs with Petri Net Structured Objects

The article presents a method for constructing a model of an object-oriented program in terms of multilabeled Petri nets. Only encapsulation - one of the three concepts of object-oriented paradigm - is considered. To model a different aspects of encapsulation a Petri net structured object is proposed. It consists of a Petri net defining its behavior and a set of organized access points specifying its structural properties. Formal composition operations to construct a program model from the models of its methods, classes, objects, functions, and modules are introduced and a source code translation algorithm to Petri net representation is proposed. A special section of the article considers in detail a process of model construction of a real object-oriented program (OOP). Source code of the program, figures with Petri net objects modeling different elements of the program and the resulting model of the program are presented

New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets

The main aim of the proposed paper is to design a new software tool for modelling and control of discrete-event and hybrid systems using Arduino and similar microcontrollers. To accomplish these tasks a new tool called PN2ARDUINO based on Petri nets is proposed which is able to communicate with the microcontroller. Communication with the microcontroller is based on the modified Firmata protocol hence the control algorithm can be implemented on all microcontrollers that support this type of protocol. The developed software tool has been successfully verified in control of laboratory systems. It can also be used for education and research purposes as it offers a graphical environment for designing control algorithms for hybrid and mainly discrete-event systems. The proposed tool can improve education and practice in the field of cyber-physical systems (Industry 4.0)