基于产品时间Petri网的供应链建模与分析
Modelling and Analysis of Supply Chains using Product Time Petri Nets
AI总结：
本文提出基于产品时间Petri网的供应链建模方法，研究时间约束与管理资源对系统行为的影响，识别成功执行、超时或时间锁等配置。
摘要：
供应链涉及地理分布的制造和装配站点，必须在严格的时间和资源约束下协调。尽管现有方法多依赖彩色Petri网建模物料流，本文聚焦供应链过程的时间可行性。我们提出基于产品时间Petri网（PTPNs）的模块化建模方法，每个子系统独立表示，通过同步转换标签产生全局行为。模型的关键特征是显式表示供应链管理者作为关键共享和移动资源，其可用性直接影响系统可行性。我们分析时间约束和管理能力如何影响系统行为，识别导致成功执行、超时或由不兼容时间约束引发的时间锁的配置。该方法使供应链协调政策的what-if分析系统化，并展示PTPNs在建模和分析同步定时系统中的相关性。
英文摘要：
Supply chains involve geographically distributed manufacturing and assembly sites that must be coordinated under strict timing and resource constraints. While many existing approaches rely on Colored Petri Nets to model material flows, this work focuses on the temporal feasibility of supply chain processes. We propose a modular modelling approach based on Product Time Petri Nets (PTPNs), where each subsystem is represented independently and the global behaviour emerges through synchronised transition labels. A key feature of the model is the explicit representation of the supply chain manager as a critical shared and mobile resource, whose availability directly impacts system feasibility. We analyse how timing constraints and managerial capacity influence the system behaviour, identifying configurations that lead to successful executions, timeouts, or timelocks induced by incompatible timing constraints. This approach enables systematic what-if analysis of supply chain coordination policies and demonstrates the relevance of PTPNs for modelling and analysing synchronised timed systems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
