| 基于同步合成的Petri网基本进程段求解算法 |
| |
| 引用本文： | 曾庆田.基于同步合成的Petri网基本进程段求解算法[J].微电子学与计算机,2006,23(6):9-12. |
| |
| 作者姓名： | 曾庆田 |
| |
| 作者单位： | 山东科技大学信息科学与工程学院,山东,青岛,266510 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划);科技部重点基础研究发展计划(973计划) |
| |
| 摘 要： | Petri网基本进程段的求取是Petri进程描述的前提和基础，然而直接求取通常是比较困难的。文章研究通过Petri网的同步合成操作求取基本进程段的方法。首先证明了一个结构复杂的Petri网可通过结构简单的S-网的同步合成操作得到，通过分析S-网与合成后的结构复杂网系统基本进程段之间的对应关系。给出了结构复杂Petri网基本进程段的求取算法。
|
| 关 键 词： | Petri网 S-网 进程 进程段 同步合成 |
| 文章编号： | 1000-7180（2006）06-009-04 |
| 收稿时间： | 2005-07-21 |
| 修稿时间： | 2005-07-21 |
An Algorithm for Solving the Basic Process Sections of Petri Net Based on Synchronization Composition |
| |
| ZENG Qing-tian.An Algorithm for Solving the Basic Process Sections of Petri Net Based on Synchronization Composition[J].Microelectronics & Computer,2006,23(6):9-12. |
| |
| Authors: | ZENG Qing-tian |
| |
| Institution: | College of Information SCi. and Tech., Shandong University of Science and Technology, Qingdao 266510 China |
| |
| Abstract: | |
| |
| Keywords: | Petri net S-net Process Process section Synchronization composition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
