| Petri网共享T型子网合成公平性分析 |
| |
| 引用本文： | 夏传良. Petri网共享T型子网合成公平性分析[J]. 计算机科学, 2007, 34(8): 271-274 |
| |
| 作者姓名： | 夏传良 |
| |
| 作者单位： | 山东建筑大学计算机科学与技术学院,济南250101;中国科学院软件所计算机科学国家重点实验室,北京100080 |
| |
| 摘 要： | 共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径.本文研究了共享T-型子网合成对参与合成的各网系统的公平性的继承关系,给出了合成网保持公平性的充分条件.随后给出的有关制造系统设计的举例,说明了该合成方法的有效性.本文的结果可为Petri网系统合成性质的考察提供有效途径.
|
| 关 键 词： | Petri网 合成 有界性 公平性 性质分析 |
Fairness Property Analysis of Petri Nets Synthesis Shared T-type Subnets |
| |
| XIA Chuan-Liang. Fairness Property Analysis of Petri Nets Synthesis Shared T-type Subnets[J]. Computer Science, 2007, 34(8): 271-274 |
| |
| Authors: | XIA Chuan-Liang |
| |
| Affiliation: | 1.School of Computer Science and Technology, Shandong Jianzhu University, Jinan 250101; 2.State Key Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080 |
| |
| Abstract: | Synthesis of Petri nets shared T-type subnets is an effective method for studying properties of complex Petri nets.The fairness preservation of the synthesis net is investigated.Sufficient conditions of fairness preservation are obtained.Application of the synthesis method is illustrated with an example from flexible manufacturing system.These results are useful for studying properties of Petri nets. |
| |
| Keywords: | Petri nets Synthesis Boundedness Fairness Property analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
