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