欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：