Petri网语言表达式及其求解算法

摘要：

Petri网语言是描述网系统动作序列的集合.为了给出一个网系统语言的形式描述,基于Petri网的状态转换图,分析了Petri网的行为特征,定义了α闭包表达式和Petri网语言表达式,给出了求解Petri网语言表达式的算法,为Petri网语言的形式化描述和分析提供了一种新方法.

关键词：Petri网状态转换图、重复序列的依赖性、Petri网语言表达式、算法

所属期刊栏目：36

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60673053;国家自然科学基金委员会重大研究计划项目90718011

在线出版日期：2010-01-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：136-139,216