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

Petri net translation of recursion π-calculus
KANG Hui1, ZHANG Shuang-shuang1,2, MEI Fang1
图1 空进程、哑动作 #cod#x003c4; 、进程调用、动作前缀向Petri网转换规则
Fig.1 Translation rules from o , #cod#x003c4; ,the process call and the prefix to Petri nets