| 共享合成Petri 网系统的活性保持性 |
| |
| 引用本文： | 蒲飞,陆维明.共享合成Petri 网系统的活性保持性[J].系统工程理论与实践,2005,25(11):70-78. |
| |
| 作者姓名： | 蒲飞 陆维明 |
| |
| 作者单位： | 1. 中国科学院软件所计算机科学重点实验室,北京,100080
2. 中国科学院数学与系统科学研究院数学所,北京,100080 |
| |
| 基金项目： | 中国科学院管理、决策与信息系统开放实验室基金资助，国家自然科学基金(60473007) |
| |
| 摘 要： | 讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.
|
| 关 键 词： | 共享合成 路径的并发合成 并发语言 活性保持性 良径 |
| 文章编号： | 1000-6788(2005)11-0070-09 |
| 修稿时间： | 2004年10月21 |
Sharing Synthesis of Petri Net Systems via Preserving Liveness |
| |
| PU Fei,LU Wei-ming.Sharing Synthesis of Petri Net Systems via Preserving Liveness[J].Systems Engineering —Theory & Practice,2005,25(11):70-78. |
| |
| Authors: | PU Fei LU Wei-ming |
| |
| Institution: | PU Fei~1,LU Wei-ming~2 |
| |
| Abstract: | The sharing synthesis process which can model the shared resource problem is a focus in this paper.Liveness preservation in sharing synthesis process for Petri net systems is stressed studied and the system concurrent behavior relation i.e.concurrent language relation in sharing synthesis of Petri net systems is also discussed.The language relation formula is presented,and it then can be applied to judge the liveness for the synthesized system.Moreover,a criterion is introduced,which is necessary and sufficient for liveness.Finally,under given conditions,the liveness of global system can be determined by the same property of local systems. |
| |
| Keywords: | sharing synthesis concurrent composition of paths concurrent language liveness preservation well path |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《系统工程理论与实践》浏览原始摘要信息 |
| 点击此处可从《系统工程理论与实践》下载免费的PDF全文 |
