文件名称：基于Petri网的UML状态迁移策略 (2008年)
文件大小：365KB
文件格式：PDF
更新时间：2024-06-07 15:27:49
自然科学 论文
分析了统一建模语言( UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力。为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网( HCPN,Hierarchical Colored Petri Net) 。 HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联。通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Pet