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.
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 callDisclaimer: 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.
