Petri Net Modeling and LabVIEW Implementation of Power Quality Monitoring System

LabVIEW is a graphic programming language and widely used in measurement and control systems, but it don´t have the ability of formal verification, this may cause potential hazards of conflict, collision and deadlock in large and complex measurement systems. This paper uses Petri net to model and analyse measurement and control system, then mappes it into LabVIEW. The two graphic languages are easy to understand and convert, their topologies have the same structures, both can use hierarchical and modular method to design. This method can simplify the development processes and improve development efficiency and ensure the correctness of the system, it has a good application prospect. A instance of power quality monitoring system is given in this paper, experimental results also verifies the correctness of the method.