论文部分内容阅读
基于Petri网和逻辑Petri网，提出了S-组合逻辑Petri网的概念。深入研究了S-组合逻辑Petri网的活性继承问题，给出了S-组合逻辑Petri网活性的判定定理和算法，并分析了S-组合网中几种资源共享情况。针对组合逻辑Petri网的几种资源共享情况，提出了相应的利用控制库所实现S-组合逻辑Petri网活性控制的方法。