S-网的活性分析

摘要：

讨论了一类结构简单的Petri网-S-网的活性问题,给出了各类S-网的活性判定定理并给出了判定算法.算法主要计算工作是变迁的前序库所集和后继变迁集以及极大强连通子网的判断,这三个过程实际上是一个树的搜索过程,因此算法易于实现,判定效率也大大提高.

关键词：Petri网、S-网、S-图、活性

所属期刊栏目：25

分类号：TP18(自动化基础理论)

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

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

页数：共4页

页码：1975-1978