首页 | 本学科首页   官方微博 | 高级检索  
     

报文审批系统的赋时着色PN建模
引用本文:刘惠义,吴继锋.报文审批系统的赋时着色PN建模[J].微机发展,2005,15(5):55-58.
作者姓名:刘惠义  吴继锋
作者单位:河海大学计算机及信息工程学院 江苏南京210098 (刘惠义),河海大学计算机及信息工程学院 江苏南京210098(吴继锋)
摘    要:报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析。考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网———赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数。并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法。最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰。

关 键 词:赋时着色Petri网  离散事件动态系统  报文审批系统  流程跟踪
文章编号:1005-3751(2005)05-0055-04
修稿时间:2004年9月2日

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].Microcomputer Development,2005,15(5):55-58.
Authors:LIU Hui-yi  WU Ji-feng
Abstract:Report audit system(RAS) is a typical discrete event dynamic system.It can be modeled by petri net in favor of analysis.Considering the defect of classical petri net,the paper analyzes and models RAS based on advanced petri net:timed colored petri net(TCP-Net),and writes out color-translate function.Flow tracking of this system is given at the last of the paper.Comparing with model based on classical petri net,the model based on TCP-Net is brief and legible.
Keywords:timed colored petri net  discrete event dynamic system  report audit system  flow tracking
本文献已被 CNKI 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号