计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
2期
55-58,67
,共5页
有界Petri网%进程表达式%基本子进程%S-网
有界Petri網%進程錶達式%基本子進程%S-網
유계Petri망%진정표체식%기본자진정%S-망
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法.定义了一类有界Petri网--稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式.另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法.
文獻[1]證明一箇有界Petri網的進程錶達式是以該網的基本子進程集為字母錶的正規錶達式,然而沒有給齣基本子進程的求解方法.定義瞭一類有界Petri網--穩定有界Petri網,併給齣其基本子進程的求解算法,進而利用有限自動機的語言錶達式的求解方法來求解穩定有界Petri網的進程錶達式.另外,還給齣瞭由符閤一定條件的S-網的進程錶達式來構造其同步閤成網的進程錶達式的算法.
문헌[1]증명일개유계Petri망적진정표체식시이해망적기본자진정집위자모표적정규표체식,연이몰유급출기본자진정적구해방법.정의료일류유계Petri망--은정유계Petri망,병급출기기본자진정적구해산법,진이이용유한자동궤적어언표체식적구해방법래구해은정유계Petri망적진정표체식.령외,환급출료유부합일정조건적S-망적진정표체식래구조기동보합성망적진정표체식적산법.