报文审批系统的赋时着色PN建模

摘要：

报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析.考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网--赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数.并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法.最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰.

关键词：赋时着色Petri网、离散事件动态系统、报文审批系统、流程跟踪

所属期刊栏目：15

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2005-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：55-58