摘要
报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析。考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网———赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数。并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法。最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰。
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.
出处
《微机发展》
2005年第5期55-58,共4页
Microcomputer Development
