CAJ | 학술논문

Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用.对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系.在已有关系的基础上,给出了这12种语言类之间一个更详细的包含关系:有的语言类之间是真包含,有的语言类之间是相交但互不包含,因此,能够较详细地刻画出这12类语言间不同的模拟能力;同时,从证明中也可以了解到一些语言类自身的特点.
Petri망어언시Petri망이론적중요조성부분,반영료Petri망적모의능력;동시,Petri망어언야시분석계통행위적중요수단지일,재허다방면득도료응용.대이유적12류Petri망어언,이경급출료타문지간일개조략적포함관계.재이유관계적기출상,급출료저12충어언류지간일개경상세적포함관계:유적어언류지간시진포함,유적어언류지간시상교단호불포함,인차,능구교상세지각화출저12류어언간불동적모의능력;동시,종증명중야가이료해도일사어언류자신적특점.