摘要
为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。
In order to solve subsystem-sharing problem, a scheme is obtained using synthesis of Petri nets shared T-type subnet. Synthesis of Petri nets shared T-type subnets is an effective method for studying properties of complex Petri nets. The liveness preservation of the synthesis net are investigated. A set of sufficient conditions, or sufficient and necessary conditions are obtained, which can be used to decide liveness of the synthesis net. Application of the synthesis method is illustrated with an example from 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 verification.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期4-8,37,共6页
Journal of System Simulation
