10.13229/j.cnki.jdxbgxb201401025
一种递归π演算向Petri网的转换方法
针对π演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法.该转换遵循基本进程转换规则以及组合规则,采用层次化方法,针对递归次数较多时产生的Petri网结点过多的情况,本文给出了一种更简洁的Petri网表示,它保留了系统的语义,且编码完全相同的轨迹集合,对于在规模较大的复杂系统中应用Petri网模型有着积极的意义.本文还分别证明了递归π演算与转换的Petri网的互模拟等价性以及Petri网与其简洁表示的等价性.
计算机软件、递归π演算转换、层次化方法、Petri网简洁表示、互模拟等价
44
TP31(计算技术、计算机技术)
国家自然科学基金项目61073164
2016-05-17(万方平台首次上网日期,不代表论文的发表时间)
共7页
142-148