摘要
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.
出处
《计算机科学》
CSCD
北大核心
2006年第10期225-227,237,共4页
Computer Science
基金
国家自然科学基金(60173053和60274063)
山东省"泰山学者"专项基金
山东省自然科学基金(Y2002G09)的资助。