| 同步及共享合成操作对Petri网汇合性质的保持性 |
| |
| 引用本文： | 王鹏伟,吴哲辉.同步及共享合成操作对Petri网汇合性质的保持性[J].系统仿真学报,2007,19(A01):21-25. |
| |
| 作者姓名： | 王鹏伟 吴哲辉 |
| |
| 作者单位： | 山东科技大学信息科学与工程学院,山东青岛266510 |
| |
| 基金项目： | 国家自然科学基金（60673053;60603090）和山东省优秀中青年科学家奖励基金（2006BS01019）. |
| |
| 摘 要： | 若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了。组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段。我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共享合成操作对汇合性质的保持问题,并得出了若干结论。
|
| 关 键 词： | Petri网 家态 汇合性质 同步合成 共享合成 |
| 文章编号： | 1004-731X（2007）S1-0021-05 |
| 收稿时间： | 2007-04-21 |
| 修稿时间： | 2007-06-15 |
Confluence Preservation of Petri Nets by Synchronous and Sharing Synthesis |
| |
| WANG Peng-wei, WU Zhe-hui.Confluence Preservation of Petri Nets by Synchronous and Sharing Synthesis[J].Journal of System Simulation,2007,19(A01):21-25. |
| |
| Authors: | WANG Peng-wei WU Zhe-hui |
| |
| Abstract: | |
| |
| Keywords: | Petri net Home Marking Confluence property Synchronous Synthesis Sharing Synthesis |
| 本文献已被 维普 等数据库收录！ |
|
