Petri网共享P型子网合成及其在系统设计中的应用

作     者：夏传良 鞠彦兵 李盛恩 XIA Chuan-liang;JU Yan-bing;LI Sheng-en

作者机构：山东建筑大学计算机科学与技术学院 中国科学院软件所计算机科学重点实验室北京100080 北京理工大学管理与经济学院 

基　　金：国家自然科学基金(60073013) 国家自然科学基金委员会 中国民用航空总局资助项目(60672180) 

出 版 物：《系统仿真学报》 (Journal of System Simulation)

年 卷 期：2007年第19卷第2期

页      码：355-360,404页

摘      要：针对柔性制造系统的设计问题,提出了经由Petri网共享P-型子网构成合成网的解决方案;研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件;主要动机是对[7]的P-组合网系统的有关结果进行推广,将共享库所合成直接推广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。

主 题 词：Petri网 合成 系统设计 有界性 活性 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1004-731X.2007.02.032

馆 藏 号：203100913...