Abstract

Discrete event system is a type of system, which changes its state based on asynchronously occuring events. One of many approaches of describing this category of systems is a mathematical formalism called the Petri Net. This article introduces an original software solution, leveraging the graphical representation of this formalism in conjunction with the communication standard OPC Unified Architecture. This combination enables the user to model and control discrete event and hybrid systems using an intuitive, user-friendly graphical interface. The software application also brings new possibilities into scope of this academic domain due to the implementation of a Petri Net formalism extension - continuous elements, which greatly expands the area of systems, which can be modelled and controlled using this tool. The developed software tool was successfully verified in control of a virtual systems. Offering a graphical environment for the design of discrete event / hybrid system control algorithms, it can be used for education, research and practice in cyber-physical systems (Industry 4.0).

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.