摘要
结合了UML状态图的表达特性和Petri网的分析特性,总结出状态图的设计步骤和状态图转化为Petri网的规则,并以国家质检总局科技项目-锅炉仿真系统为背景,对锅炉自动燃烧过程实例进行分析,按照设计步骤和转化规则,最终用Petri网描述出实例,为进一步分析系统特性奠定基础。
This paper summes up the design steps of state diagrams and the transformation rules from state diagram to Petri net.And then have analyzed an instance of the automatic process in boiler simulation system which is the AQSIQ＇s program combining the feature of a UML state diagram in the expression and the characteristics of Petri nets.According to the design steps and the rules,and finally describe the instance with Petri net,as a basis for further analysis of system characteristics.
出处
《工业控制计算机》
2011年第8期81-83,共3页
Industrial Control Computer
基金
国家质检总局科技计划项目(2008QK123)
