基于进程网模型的仿真技术研究

进程网是一种新的融合进程代数特征的Petri网模型。具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。本文基于进程网系统,针对进程网建模工具Prn Tools,提出适合其模型的仿真算法,包括实现组件的逻辑关系,组件的点火判定,点火及仿真的图形化表示,以及仿真结束状态图的生成。实验结果表明Prn Tools仿真功能得到实现,该算法有效地实现了针对进程网的仿真技术。