一种递归π演算向Petri网的转换方法
康辉
1
, 张双双
1,
2
, 梅芳
1
Petri net translation of recursion π-calculus
KANG Hui
1
, ZHANG Shuang-shuang
1,
2
, MEI Fang
1
图3 典型#cod#x003c0;演算递归结构转换结果全景图第一层
Fig.3 First layer of franslation panoramic view from typical recursion #cod#x003c0; calculus to Petri net