| 共享合成Petri网的性质分析 |
| |
| 引用本文： | 庞善臣, 蒋昌俊, 孙萍, 周长红. 共享合成Petri网的性质分析. 自动化学报, 2004, 30(6): 944-948. |
| |
| 作者姓名： | 庞善臣 蒋昌俊 孙萍 周长红 |
| |
| 作者单位： | 1.同济大学计算机科学与工程系,上海;;;2.山东科技大学信息科学与工程学院,泰安 |
| |
| 基金项目： | 国家杰出青年科学基金(60125205)“863'’计划(2001AA413020)“973”计划(2003CB316902)国家自然科学基金(90412013)上海市重点基础项目(02DJ14064)资助~~ |
| |
| 摘 要： | 组合Petri网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成Petri网的结构性质入手,分析了它的活性性质,给出了它的一个较为简单的活性判定的充要条件.在此基础上,研究了共享合成Petri网的活性与行为不变性和状态不变性的关系,为系统合成的活性和一致性的关系提供了分析依据.
|
| 关 键 词： | Petri网 共享合成 活性 行为不变性 状态不变性 |
| 收稿时间： | 2003-03-19 |
| 修稿时间： | 2003-03-19 |
Property Analysis of Shared Composition Petri Nets |
| |
| PANG Shan-Chen, JIANG Chang-Jun, SUN Ping, ZHOU Chang-Hong. Property Analysis of Shared Composition Petri Nets. ACTA AUTOMATICA SINICA, 2004, 30(6): 944-948. |
| |
| Authors: | PANG Shan-Chen JIANG Chang-Jun SUN Ping ZHOU Chang-Hong |
| |
| Affiliation: | 1. Department of Computer Science and Engineering,Tongji University,Shanghai;College of Information Science and Engineering,Shandong University of Science and Technology,Taian |
| |
| Abstract: | The liveness properties are analyzed from the structural properties of the sharedcomposition Petri nets,and then a necessary and sufficient condition to decide the livenessof shared composition Petri nets is obtained.Based on this,the relationships between theliveness of shared composition Petri nets and the behavior constancy and the state constancyare discussed,and judgment to analyze the relationship between the liveness property andthe constancy property of system composition is provided. |
| |
| Keywords: | Petri nets shared composition liveness behavior constancy state constancy |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《自动化学报》浏览原始摘要信息 |
|
点击此处可从《自动化学报》下载全文 |
