摘要
Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用。对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系。在已有关系的基础上,给出了这12种语言类之间一个更详细的包含关系:有的语言类之间是真包含,有的语言类之间是相交但互不包含,因此,能够较详细地刻画出这12类语言间不同的模拟能力;同时,从证明中也可以了解到一些语言类自身的特点。
Petri net language is an important component of Petri net theory and can reflect simulating power of Petri net. It is also one of important methods for analyzing system behavior and applied in many fields. The relations of 12 classes of Petri net languages have been studied roughly. Based on the relations of these classes, more detailed relations were described that some classes contain others properly and some ones are intersecting but not contained mutually. So these containment relations can reflect different simulating powers of them more accurately. Some characters of these classes are shown in the proof processes.
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2007年第7期1633-1638,共6页
Journal of System Simulation
基金
国家自然科学基(60473094)
国家自然科学基金重点项目(60534060)。
