An Implementation of Petri Net Based on Graphical Programming Language

Abstract:

Article Preview

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.

Info:

Periodical:

Edited by:

Long Chen, Yongkang Zhang, Aixing Feng, Zhenying Xu, Boquan Li and Han Shen

Pages:

327-331

DOI:

10.4028/www.scientific.net/KEM.464.327

Citation:

T. Y. Du et al., "An Implementation of Petri Net Based on Graphical Programming Language", Key Engineering Materials, Vol. 464, pp. 327-331, 2011

Online since:

January 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.