论文部分内容阅读
为解决状态图的建模问题，特别是带有复合状态的层次化状态图的建模问题，分析了UML状态图的结构特点和语义特征，构造了层次化着色Petri网HCPN．将复合状态的Petri网子网结构划分成输入／输出端口、状态迁移部分和历史状态部分．其中输入／输出端口分别用于完成子网进入弧的解析和离开的弧的汇总，状态迁移部分完成状态机子网内部状态变换，历史状态部分通过“记忆单元”，完成复合状态的“记忆恢复”和“记忆刷新”．基于所构造的HCPN结构，总结了状态图复合状态转入／转出迁移的语义和约束规则，阐述了复合状态的Petri网