| 本文已被：浏览 5068次 下载 7173次 |
码上扫一扫！ |
|
|
| 同步合成Petri网系统活性与无死锁性的保持性 |
|
蒲飞1,2, 陆维明1
|
|
1.中国科学院,数学与系统科学研究院,数学研究所,北京,100080;2.湖南怀化学院,数学系,湖南,怀化,418008
|
|
| 摘要: |
| 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质. |
| 关键词: 同步合成操作 活性与无死锁性的保持性 并发语言 同步路径 路径并发合成 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant No.60073013 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.G1998030416 (国家重点基础研究发展规划(973)) |
|
| Preservation of Liveness and Deadlock-Freeness in Synchronous Synthesis of Petri Net Systems |
|
PU Fei,LU Wei-Ming
|
| Abstract: |
| Synthesis process is an important bottom-up approach on modeling Petri net systems, and the preservation of certain good properties such as liveness, deadlock-freeness, reversibility and so forth is also a significant problem in the study of synthesis processes. In this paper, the preservation of liveness and deadlock-freeness is discussed for a synchronous synthesis process. The difference from other work is that the presented approaches are based on the concurrent composition of paths using a concurrent language. The concurrent language relation formula is presented and proved in the synchronous synthesis of Petri net systems, and it can be applied to judge the liveness and deadlock-freeness of a synthesized system. Meanwhile, criteria which are necessary and sufficient for the liveness and deadlock-freeness of the resultant system are developed. Finally, conditions under which the preservation of liveness and deadlock-freeness holds for the synchronous synthesis of Petri net systems are proposed. |
| Key words: synchronous synthesis process preservation of liveness and deadlock-freeness concurrent language synchronous path concurrent composition of paths |
