An Implementation of Petri Net Based on Graphical Programming Language

Abstract

This paper deals with an implementation method of component-based Petri nets system based on a graphical programming language (LabVIEW). LabVIEW is not only a graphical programming language, but also a virtual instrument platform which is widely used in virtual measurement and control system. The Places (token number) of Petri nets are represented by Numeric Controls of LabVIEW. The Transitions of Petri nets are represented by subVIs of LabVIEW. Transition subVI will change the tokens of Places by the Numeric Controls' Reference when it is fired. This method will make it ease to implement a Petri net by simply combining Place and Transition components (subVI). The example implementing a special Petri net shows that the Front Panel of the controller reflects the system operating state directly; the Block Diagram is similar to the topology of original Petri net. The combination of two graphic languages makes the modeling, analysis and formal verification of measurement and control system based on Petri nets easier.