| 基于UML状态图和Petri网的冷却水实时控制系统建模与分析 |
| |
| 引用本文： | 杨喜刚,张广泉.基于UML状态图和Petri网的冷却水实时控制系统建模与分析[J].苏州大学学报(工科版),2009,29(6). |
| |
| 作者姓名： | 杨喜刚 张广泉 |
| |
| 作者单位： | 苏州大学计算机科学与技术学院,江苏,苏州,215006 |
| |
| 基金项目： | 中国科学院计算机科学国家重点实验室开放课题，江苏省高校自然科学基金 |
| |
| 摘 要： | 实时系统应用要求其必须有严格的正确性,UML及Petri网是保证其正确性的重要建模与分析方法.通过介绍Petri网的基本模型,阐述了UML状态图到Petri网模型的转换规则,通过生产线冷却水控制系统的实例描述了其在实时控制系统中的应用.
|
| 关 键 词： | 实时系统 形式化方法 UML状态图 Petri网 冷却水控制系统 |
Modeling and Analysis for the Cooling Water Real-time Control System Based on UML State Diagram and Petri Net |
| |
| Yang Xigang,Zhang Guangquan.Modeling and Analysis for the Cooling Water Real-time Control System Based on UML State Diagram and Petri Net[J].Journal of Suzhou University(Engineering Science Edition),2009,29(6). |
| |
| Authors: | Yang Xigang Zhang Guangquan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
