摘要
针对柔性制造系统的设计和分析,提出了经由 Petri 网共享子网构成合成网的解决方案;研究了 Petri 网共享子网合成的动态性质保持问题,给出了合成网保持活性、有界性的一组充分条件;对一个柔性制造系统进行了设计和分析。本文的结果可为 Petri 网系统静态和动态性质的考察提供有效途径,为 Petri 网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值。
A scheme is obtained using synthesis of Petri nets shared subnet, according to design and analysis of flexible manufacturing system. Dynamic property preservations of the synthesis net have been investigated. A group of sufficient conditions of liveness preservation, boundedness preservation are presented. A flexible manufacturing system has been designed and analyzed. These results are useful for studying the static and dynamic properties of Petri nets and analyzing properties for large complex system. The synthesis method is especially fit for flexible manufacturing system design and practical to use in reality.
出处
《计算机科学》
CSCD
北大核心
2006年第5期17-21,共5页
Computer Science
基金
国家自然科学基金(60073013)
国家重点基础研究发展规划(1998030416)
中国科学院管理
决策与信息系统开放实验室(MADIS)资助
关键词
PETRI网
合成
有界性
活性
系统设计
Petri nets, Synthesis, Boundedness, Liveness, System design