一种递归π演算向Petri网的转换方法
, 张双双 Petri net translation of recursion π-calculus
KANG Hui1 , ZHANG Shuang-shuang1, 2 , MEI Fang1
, ZHANG Shuang-shuang Fig.6 A more compact representation of Petri net
一种递归π演算向Petri网的转换方法 |
|
康辉, 张双双 |
Petri net translation of recursion π-calculus |
|
KANG Hui
, ZHANG Shuang-shuang |
| 图6 一种更简洁的Petri网表示 Fig.6 A more compact representation of Petri net |
| |