计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2013年
6期
1261-1266
,共6页
Pi演算%Petri网%自由选择网%表达
Pi縯算%Petri網%自由選擇網%錶達
Pi연산%Petri망%자유선택망%표체
Pi calculus%Petri net%free choice net%expressiveness
文中定义了Petri网的一子类系列:k-选择网,它形成一个后类包含前类的Petri网子类的无穷序列,证明了此无穷序列的并集等于Petri网类,自由选择网是k=1的k-选择网,即1-选择网.在证明自由选择网系统可以用Pi演算表达的基础上,文中进一步证明了所有2-选择网系统可以用Pi演算表达.
文中定義瞭Petri網的一子類繫列:k-選擇網,它形成一箇後類包含前類的Petri網子類的無窮序列,證明瞭此無窮序列的併集等于Petri網類,自由選擇網是k=1的k-選擇網,即1-選擇網.在證明自由選擇網繫統可以用Pi縯算錶達的基礎上,文中進一步證明瞭所有2-選擇網繫統可以用Pi縯算錶達.
문중정의료Petri망적일자류계렬:k-선택망,타형성일개후류포함전류적Petri망자류적무궁서렬,증명료차무궁서렬적병집등우Petri망류,자유선택망시k=1적k-선택망,즉1-선택망.재증명자유선택망계통가이용Pi연산표체적기출상,문중진일보증명료소유2-선택망계통가이용Pi연산표체.
