摘要
实时系统应用要求其必须有严格的正确性,UML及Petri网是保证其正确性的重要建模与分析方法。通过介绍Petri网的基本模型,阐述了UML状态图到Petri网模型的转换规则,通过生产线冷却水控制系统的实例描述了其在实时控制系统中的应用。
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.
出处
《苏州大学学报(工科版)》
CAS
2009年第6期7-11,共5页
Journal of Soochow University Engineering Science Edition (Bimonthly)
基金
中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908)
江苏省高校自然科学基金(编号08KJB520010)