首页 | 本学科首页   官方微博 | 高级检索  
     

Petri网化简操作及其在系统验证中的应用
引用本文:夏传良,徐进,张光卫.Petri网化简操作及其在系统验证中的应用[J].计算机科学,2006,33(9):235-240.
作者姓名:夏传良  徐进  张光卫
作者单位:1. 山东建筑工程学院计算机科学与技术系,济南,250014;中国科学院数学与系统科学研究院计算机科学研究室,北京,100080
2. 山东建筑工程学院计算机科学与技术系,济南,250014
3. 北京航空航天大学软件开发环境国家重点实验室,北京,100083
基金项目:国家自然科学基金;国家重点基础研究发展计划(973计划);中国科学院科研基金
摘    要:针对柔性制造系统的验证问题,提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持问题,给出了化简后的Petri网保持活性、有界性、可回复性的一组充分条件或充要条件。对一个柔性制造系统进行了验证。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的验证,具有一定的实用价值。

关 键 词:Petri网  化简操作  活性  有界性  系统验证  柔性制造系统

The Petri Net Reduction and its Application in System Verification
XIA Chuan-Liang,XU Jin,ZHANG Guang-Wei.The Petri Net Reduction and its Application in System Verification[J].Computer Science,2006,33(9):235-240.
Authors:XIA Chuan-Liang  XU Jin  ZHANG Guang-Wei
Affiliation:1. Department of Computer Science and Technology, Shandong Institute of Architecture and Engineering, Jinan 250014;2. Department of Computer Science, Academy of Mathematics and System Sciences, The Chinese Academy of Sciences, Beijing 100080;3. State Key Lab. of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing 100083
Abstract:A scheme is obtained using some kinds of Petri net reduction, according to the verification of flexible manufacturing system. Two kinds of reductions are proposed and their dynamic property preservations have been investigated. A group of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation and reversibility preservation are presented. A flexible manufacturing system has been verified. These results are useful for studying the static and dynamic properties of Petri nets, analyzing properties for large complex system. The reduction method is especially fit for system verification and practical to use in reality.
Keywords:Petri nets  Reduction  Liveness  Boundedness  System verification  Flexible manufacturing system
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号