文件名称：逻辑 Petri 网的 S-组合及活性分析（网络优先出版）
文件大小：728KB
文件格式：PDF
更新时间：2024-03-27 04:23:47
逻辑 Petri 网; S-组合; 活性;
基于 Petri 网和逻辑 Petri 网，提出了 S-组合逻辑 Petri 网的概念。深入研究了 S-组合逻辑 Petri 网的活性继承问题，给出了 S-组合逻辑 Petri 网活性的判定定理和算法，并分析了 S-组合网中几种资源共享情况。最后，针对组合逻辑 Petri 网的几种资源共享情况，提出了相应的利用控制库所实现 S-组合逻辑 Petri 网活性控制的方法。