|
|||||
|
|
| 层次颜色Petri网在Web信息系统建模中的应用 | |
| 作者单位： | ;1.安徽电子信息职业技术学院信息与智能工程系 |
| 摘 要： | 层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义基础上,结合智慧校园中的校园一卡通Web信息系统,利用CPN Tools分层构建了该系统的HCPN模型,并对各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析和验证了系统HCPN模型的正确性、可靠性和健壮性。 |
| 关 键 词： | 层次颜色Petri网 Web信息系统 颜色Petri网工具包 替代变迁 融合库所 状态空间 |
Application of Hierarchical Colored Petri Net in Modeling of Web Information System |
|
| Abstract: | |
| Keywords: | |