CAJ | 학술논문

进程网是一种新的融合进程代数特征的Petri网模型。具有传统Petri网的图形化表示方式，又具有进程代数的语法形式。本文基于进程网系统，针对进程网建模工具PrnTools，提出适合其模型的仿真算法，包括实现组件的逻辑关系，组件的点火判定，点火及仿真的图形化表示，以及仿真结束状态图的生成。实验结果表明PrnTools仿真功能得到实现，该算法有效地实现了针对进程网的仿真技术。
진정망시일충신적융합진정대수특정적Petri망모형。구유전통Petri망적도형화표시방식，우구유진정대수적어법형식。본문기우진정망계통，침대진정망건모공구PrnTools，제출괄합기모형적방진산법，포괄실현조건적라집관계，조건적점화판정，점화급방진적도형화표시，이급방진결속상태도적생성。실험결과표명PrnTools방진공능득도실현，해산법유효지실현료침대진정망적방진기술。