摘要
Petri网基本进程段的求取是Petri进程描述的前提和基础,然而直接求取通常是比较困难的,文章研究通过Petri网的同步合成操作求取基本进程段的方法。首先证明了一个结构复杂的Petri网可通过结构简单的S-网的同步合成操作得到,通过分析S-网与合成后的结构复杂网系统基本进程段之间的对应关系,给出了结构复杂Petri网基本进程段的求取算法。
To obtain the basic process section set of a Petri net is essential for its process description. However, it is not easy to obtain the basic process section set for a given Petri net especially a structure-complex net. In this paper, a method is presented for solving the basic process sections of a Petri net based on synchronization composition. It is proved that a given structure-complex Petri net can be obtained by the synchronization composition by a set of structure-simple S-nets. With the process relationships between the original system and these S-nets, an algorithm is given to obtain the basic process sections of a Petri net.
出处
《微电子学与计算机》
CSCD
北大核心
2006年第6期9-12,共4页
Microelectronics & Computer
基金
国家自然科学基金项目(60173053
60274063)
科技部重大基础基金项目(2001CCA03000
2002DEA30036)
关键词
PETRI网
S-网
进程
进程段
同步合成
Petri net, S-net, Process, Process section, Synchronization composition
