| Petri网共享PB型子网合成及其在系统设计中的应用 |
| |
| 引用本文： | 夏传良.Petri网共享PB型子网合成及其在系统设计中的应用[J].系统仿真学报,2007,19(4):846-851,889. |
| |
| 作者姓名： | 夏传良 |
| |
| 作者单位： | 中国科学院软件所,计算机科学国家重点实验室,北京,100080;山东建筑大学,计算机科学与技术学院,济南,250101 |
| |
| 摘 要： | 针对柔性制造系统的共享子系统设计问题，提出了经由Petri网共享PB-型子网（Place Bordered Subnet）构成共享PB-型子网合成网的解决方案；研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件；对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。
|
| 关 键 词： | Petri网 合成 有界性 活性 系统设计 |
| 文章编号： | 1004-731X（2007）04-0846-06 |
| 收稿时间： | 2005-12-01 |
| 修稿时间： | 2005-12-012006-03-30 |
Petri Nets Synthesis-shared PB-type Subnet and Its Applications in System Design |
| |
| XIA Chuan-liang.Petri Nets Synthesis-shared PB-type Subnet and Its Applications in System Design[J].Journal of System Simulation,2007,19(4):846-851,889. |
| |
| Authors: | XIA Chuan-liang |
| |
| Institution: | 1.State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China; 2.School of Computer Science and Technology, Shandong Jianzhu University, Jinan 250101, China |
| |
| Abstract: | A scheme was obtained using synthesis of Petri nets-shared PB-type subnet(Place Bordered Subnet),according t shared subsystem design of flexible manufacturing system.Dynamic property preservations of the synthesis net wer investigated.A set of sufficient conditions or sufficient and necessary conditions of liveness preservation,boundednes preservation were proposed.Applications of the synthesis method were illustrated with an example from flexibl manufacturing system.These results are useful for studying the static and dynamic properties of Petri nets.The synthes method is practical to use in system design and analysis. |
| |
| Keywords: | Petri nets synthesis boundedness liveness system design |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
