一种递归π演算向Petri网的转换方法

康辉¹, 张双双^1,², 梅芳¹

Petri net translation of recursion π-calculus

KANG Hui¹, ZHANG Shuang-shuang^1,², MEI Fang¹

图5 #cod#x003c0;演算表达式递归结构执行图
Fig.5 Execution of #cod#x003c0; calculus expression recursive structure