Software tool for modeling, simulation and real-time implementation of Petri net-based supervisors

The paper presents a software tool called Petri.NET which allows modeling, simulation and real-time implementation of static and dynamic Petri nets (PN). The PN model is built using prototype objects from the library. The results of PN model simulation are presented to the user in the form of a token game and in the graphical form showing diagrams of a state vector m(p). The feature that separates Petri.NET tool from other PN simulation tools is the ability of direct implementation of the created PN model (system supervisor) in two possible ways: a) by automatic generation of the PLC code, and/or b) by activation of the OPC client within Petri.NET.