集宁师范学院学报
集寧師範學院學報
집저사범학원학보
Journal of Jining Teachers College
2012年
4期
114-118
,共5页
Petri Net%语义%形式描述
Petri Net%語義%形式描述
Petri Net%어의%형식묘술
Petri网作为一种有完备自动化理论的形式描述语言,既有严格的数学表述方式,也有直观的图形表达方式.在科学研究与实践工程中得到了广泛运用.Petri网自身也在不断的变化发展之中,在基本Petri网的基础上,添加了很多新的语法特性,增强了Petri网的描述能力.新特性的加入在丰富了语义概念的同时,也带来了兼容性、完备性、一致性的问题,所以有必要对Petri网语义方面的研究做一个梳理,为今后研究角度的选取与内容的甄别做前期铺垫.本文综述了Petri网语义方面的研究现状,主要集中在Petri网语义的转换、扩充及其在具体运用中的语义.
Petri網作為一種有完備自動化理論的形式描述語言,既有嚴格的數學錶述方式,也有直觀的圖形錶達方式.在科學研究與實踐工程中得到瞭廣汎運用.Petri網自身也在不斷的變化髮展之中,在基本Petri網的基礎上,添加瞭很多新的語法特性,增彊瞭Petri網的描述能力.新特性的加入在豐富瞭語義概唸的同時,也帶來瞭兼容性、完備性、一緻性的問題,所以有必要對Petri網語義方麵的研究做一箇梳理,為今後研究角度的選取與內容的甄彆做前期鋪墊.本文綜述瞭Petri網語義方麵的研究現狀,主要集中在Petri網語義的轉換、擴充及其在具體運用中的語義.
Petri망작위일충유완비자동화이론적형식묘술어언,기유엄격적수학표술방식,야유직관적도형표체방식.재과학연구여실천공정중득도료엄범운용.Petri망자신야재불단적변화발전지중,재기본Petri망적기출상,첨가료흔다신적어법특성,증강료Petri망적묘술능력.신특성적가입재봉부료어의개념적동시,야대래료겸용성、완비성、일치성적문제,소이유필요대Petri망어의방면적연구주일개소리,위금후연구각도적선취여내용적견별주전기포점.본문종술료Petri망어의방면적연구현상,주요집중재Petri망어의적전환、확충급기재구체운용중적어의.
