上海交通大学学报
有界Petri网的进程演算表达
董振华a, b, 董笑菊a, b
Representing Bounded Petri Nets by Process Calculi
DONG Zhen-Hua-a, b , DONG Xiao-Ju-a, b
上海交通大学学报（自然版） . 2011, (07): 980 -984 .