文件名称:论文研究-逻辑Petri网的S-组合及活性分析.pdf
文件大小:568KB
文件格式:PDF
更新时间:2022-09-30 08:26:58
论文研究
基于Petri网和逻辑Petri网,提出了S-组合逻辑Petri网的概念。深入研究了S-组合逻辑Petri网的活性继承问题,给出了S-组合逻辑Petri网活性的判定定理和算法,并分析了S-组合网中几种资源共享情况。针对组合逻辑Petri网的几种资源共享情况,提出了相应的利用控制库所实现S-组合逻辑Petri网活性控制的方法。