| 报文审批系统的赋时着色PN建模 |
| |
| 引用本文： | 刘惠义,吴继锋.报文审批系统的赋时着色PN建模[J].计算机技术与发展,2005,15(5). |
| |
| 作者姓名： | 刘惠义 吴继锋 |
| |
| 摘 要： | 报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析.考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网--赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数.并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法.最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰.
|
| 关 键 词： | 赋时着色Petri网 离散事件动态系统 报文审批系统 流程跟踪 |
Modeling of Report Audit System Based on Timed Colored Petri Net |
| |
| LIU Hui-yi,WU Ji-feng.Modeling of Report Audit System Based on Timed Colored Petri Net[J].Computer Technology and Development,2005,15(5). |
| |
| Authors: | LIU Hui-yi WU Ji-feng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
