论文研究基于Petri网分解技术的自动化物流系统建模分析.pdf

针对西安科技大学自动化物流系统的任务规划，提出了一种基于变迁指标和库所指标融合的Petri网分解方法。采用Petri网理论对该物流系统建立模型，给出定义，在此基础上采用提出的Petri网分解方法得到融合了T网和S网特性的最小子网。通过分析该最小子网，得出Petri网模型的活性和有界性，据此推断出物流系统的任务规划合理有效。该方法大大减少了直接分析子网或原Petri网模型的计算量，可避免全局或局部死锁，为系统良好运行提供了依据。