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