| Petri网精细化操作及其在系统设计中的应用 |
| |
| 引用本文： | 夏传良,焦莉,陆维明.Petri网精细化操作及其在系统设计中的应用[J].软件学报,2006,17(1):11-19. |
| |
| 作者姓名： | 夏传良 焦莉 陆维明 |
| |
| 作者单位： | 1. 中国科学院,数学与系统科学研究院,计算机科学研究室,北京,100080
2. 中国科学院,软件研究所,计算机科学重点实验室,北京,100080 |
| |
| 基金项目： | 中国科学院资助项目;科技部科研项目 |
| |
| 摘 要： | 针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.
|
| 关 键 词： | Petri网 精细化操作 活性 有界性 系统设计 |
| 收稿时间： | 2005-06-13 |
| 修稿时间： | 2005-08-15 |
Petri Net Refinement and Its Application in System Design |
| |
| XIA Chuan-Liang,JIAO Li and LU Wei-Ming.Petri Net Refinement and Its Application in System Design[J].Journal of Software,2006,17(1):11-19. |
| |
| Authors: | XIA Chuan-Liang JIAO Li and LU Wei-Ming |
| |
| Affiliation: | 1.Department of Computer Science, Academy of Mathematics and System Sciences, The Chinese Academy of Sciences, Beijing 100080, China; 2.Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China |
| |
| Abstract: | A scheme is obtained by using some kinds of Petri net refinement, according to the design of flexible manufacturing system. Two kinds of refinement are obtained. Dynamic properties have been investigated. The sufficient and necessary conditions of liveness preservation, boundedness preservation and reversibility preservation are presented. A flexible manufacturing system has been designed and verified. These results are useful for studying the static and dynamic properties of Petri nets and analyzing properties of large complex system. The refinement method is especially fit for the design of flexible manufacturing system and practical to use in reality. |
| |
| Keywords: | Petri nets refinement liveness boundedness system design |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
