摘要
Petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述,基于Petri网的状态转换图,分析了Petri网的行为特征,定义了α闭包表达式和Petri网语言表达式,给出了求解Petri网语言表达式的算法,为Petri网语言的形式化描述和分析提供了一种新方法。
Petri net language is a set of sequences for describing Petri net behavior. It analyzed the behavior characteristic of Petri net based on its state transition diagram, in order to give the formula description of the language of Petri net. The expression of Petri net language was defined, and an algorithm for finding expression of Petri net language was given. A new method was provided for describing and analyzing the language of Petri net.
出处
《计算机科学》
CSCD
北大核心
2009年第11期136-139,216,共5页
Computer Science
基金
国家自然科学基金(60673053)
国家自然科学基金委员会重大研究计划项目(90718011)资助