CAJ | 학술논문

Petri网作为一种有完备自动化理论的形式描述语言，既有严格的数学表述方式，也有直观的图形表达方式。在科学研究与实践工程中得到了广泛运用。Petri网自身也在不断的变化发展之中，在基本Petri网的基础上，添加了很多新的语法特性，增强了Petri网的描述能力。新特性的加入在丰富了语义概念的同时，也带来了兼容性、完备性、一致性的问题，所以有必要对Petri网语义方面的研究做一个梳理．为今后研究角度的选取与内容的甄别做前期铺垫。本文综述了Petri网语义方面的研究现状，主要集中在Petri网语义的转换、扩充及其在具体运用中的语义．
Petri망작위일충유완비자동화이론적형식묘술어언，기유엄격적수학표술방식，야유직관적도형표체방식。재과학연구여실천공정중득도료엄범운용。Petri망자신야재불단적변화발전지중，재기본Petri망적기출상，첨가료흔다신적어법특성，증강료Petri망적묘술능력。신특성적가입재봉부료어의개념적동시，야대래료겸용성、완비성、일치성적문제，소이유필요대Petri망어의방면적연구주일개소리．위금후연구각도적선취여내용적견별주전기포점。본문종술료Petri망어의방면적연구현상，주요집중재Petri망어의적전환、확충급기재구체운용중적어의．
As a formal description language with the complete automation theory, Petri net has not only rigorous mathematical formulation, but also intuitive graphical expression. It is widely used in the science and practice. Petri net is constantly changing and developing. Many new syntax features are added on the base of the basic Petri net, which enhances the description of Petri net. The adding of new syntax features enriches the semantic concept, but also brings compatible, complete, and consistent problems. Therefore, it is necessary to comb to the study about the semantics of Petri net, which makes the preliminary groundwork for the selection of future research angle and the screening of content. This paper summarizes the research status of Petri net semantics, and it is mainly focuses on the conversion of Petri net semantics, the expansion and the semantics in specific use.