基于同步合成的结构复杂Petri网的行为描述

摘要：

首先分析了一类结构简单的Petri网-S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法.

关键词：Petri网、S-网、Petri网语言、同步合成、同步交

所属期刊栏目：15

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

资助基金：国家自然科学基金60173053,60274063;山东省青年科学家科研奖励基金02BS069

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

页数：共11页

页码：327-337