|
|||||
|
|
| Petri网共享P型子网合成及其在系统设计中的应用 | |
| 引用本文： | 夏传良,鞠彦兵,李盛恩.Petri网共享P型子网合成及其在系统设计中的应用[J].系统仿真学报,2007,19(2):355-360,404. |
| 作者姓名： | 夏传良 鞠彦兵 李盛恩 |
| 作者单位： | 1. 山东建筑大学计算机科学与技术学院,济南,250101;中国科学院数学与系统科学研究院计算机科学研究室,北京,100080;中国科学院软件所计算机科学重点实验室,北京,100080 2. 北京理工大学管理与经济学院,北京,100081 3. 山东建筑大学计算机科学与技术学院,济南,250101 |
| 基金项目： | 国家自然科学基金;国家自然科学基金委员会与中国民用航空总局资助项目 |
| 摘 要： | 针对柔性制造系统的设计问题。提出了经由Petri网共享P-型子网构成合成网的解决方案；研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件；主要动机是对7]的P-组合网系统的有关结果进行推广，将共享库所合成直接椎广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。 |
| 关 键 词： | Petri网 合成 系统设计 有界性 活性 |
| 文章编号： | 1004-731X（2007）02-0355-06 |
| 收稿时间： | 2005-10-12 |
| 修稿时间： | 2005-10-122006-01-06 |
Petri Net Synthesis shared P-type Subnet and Its Applications in System Design |
|
| XIA Chuan-liang,JU Yan-bing,LI Sheng-en.Petri Net Synthesis shared P-type Subnet and Its Applications in System Design[J].Journal of System Simulation,2007,19(2):355-360,404. | |
| Authors: | XIA Chuan-liang JU Yan-bing LI Sheng-en |
| Institution: | 1 .School of Computer Science and Technology, Shandong Jianzhu University, Jinan 250101, China; 2.Schoolof Management and Economics, Beijing Institute of Technology, Beijing 100081, China; 3.Department of Computer science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China; 4.Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China |
| Abstract: | A scheme was obtained using synthesis of Petri nets shared P-type subnet, according to design of flexible manufacturing system. Dynamic property preservations of the synthesis net were investigated. A set of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation were proposed. The major motivation of this work is to generalize the results of 7] and to extend synthesis of Petri nets shared places to synthesis of Petri nets shared P-type subnets. Applications of the synthesis method were illustrated with an example from flexible manufacturing system. These results are useful for studying the static and dynamic properties of Petri nets. The synthesis method is practical to use in system design and analysis. |
| Keywords: | Petri nets synthesis system design boundedness liveness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |