Petri网语言的同步混排运算及在语言分析中的应用  

Synchronized shuffle operation of Petri net languages and its applications in analysis for language behaviors

作　　者：曾庆田[1] 

机构地区：[1]山东科技大学计算机科学与技术系,山东青岛266510

出　　处：《系统工程学报》2005年第5期492-496,503,共6页Journal of Systems Engineering

基　　金：国家自然科学基资助项目(6017305360274063);山东省中青年科学家科研奖励基金资助项目(02BS609)

摘　　要：Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步混排运算,并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系,分析了Petri网语言的同步混排运算的作用和意义,在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法.Petri net languages are powerful and useful for properties analysis for Petri net. In order to express the languages of structure-complex Petri nets, a new operation for Petri net languages named synchronized shuffle is presented. By analyzing the properties of the languages during the composition and decomposition of Petri nets, it is proved that synchronized shuffle operation is important and valuable for the language properties analysis of Petri nets. With the results obtained, two methods to express the languages for structure-complex Petri nets are presented.

关 键 词：PETRI网 同步混排 Peteri网语言 分解 同步合成 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]