Modeling and Analysis for the Cooling Water Real-time Control System Based on UML State Diagram and Petri Net

Yang Xigang,Zhang Guangquan
DOI: https://doi.org/10.3969/j.issn.1673-047X.2009.06.003
2009-01-01
Abstract:The Real-time system requires the strict validation;UML and Petri net are the two main important methods to modeling and analysis the real-time system.This paper introduces the basic model of the Petri net,expatiates the convert rule of the UML state diagram to Petri net,and uses a cooling water real-time control system as the sample to demonstrate how to use the methods to modeling and analysis the system in the real application.
What problem does this paper attempt to address?