论文部分内容阅读
针对丌演算中的递归结构，本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则，采用层次化方法，针对递归次数较多时产生的Petri网结点过多的情况，本文给出了一种更简洁的Petri网表示，它保留了系统的语义，且编码完全相同的轨迹集合，对于在规模较大的复杂系统中应用Petri网模型有着积极的意义。本文还分别证明了递归兀演算与转换的Petri网的互模拟等价性以及Petri网与其简洁表示的等价性。