S-网的进程表达式及求取方法研究  

Methods for Obtaining the Process Expressions of S-Nets

作　　者：段华[1] 曾庆田[2] 

机构地区：[1]上海交通大学数学系 [2]中国科学院计算技术研究所

出　　处：《计算机科学》2006年第10期225-227,237,共4页Computer Science

基　　金：国家自然科学基金(60173053和60274063);山东省"泰山学者"专项基金;山东省自然科学基金(Y2002G09)的资助。

摘　　要：Petri网的进程是用于系统行为和状态描述的有效工具,但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法,为结构复杂Petri网系统的进程描述提供借鉴和帮助。Process is most useful for property analysis among all the analysis tools of Petri net, however it is usually difficult to present all the processes of a structure-complex Petri net. The process characteristics of S-Nets, a class of structure-simple Petri net, are analyzed with details in this paper. The process expressions of all kinds of S-Nets are presented, which can he used for references of process analysis for structure-complex Petri net.

关 键 词：PETRI网 S-N 进程 进程表达式 

分 类 号：TP183[自动化与计算机技术—控制理论与控制工程]