一种递归π演算向Petri网的转换方法
康辉1, 张双双1,2, 梅芳1

Petri net translation of recursion π-calculus
KANG Hui1, ZHANG Shuang-shuang1,2, MEI Fang1
图4 典型#cod#x003c0;演算递归结构转换结果全景图第二层
Fig.4 Second layer of translation panoramic view from typical recursion #cod#x003c0; calculus to Petri net