🤖 AI Summary
This study addresses coordination and temporal feasibility in supply chains under stringent time and resource constraints by proposing a modular modeling approach based on Product Timed Petri Nets (PTPNs). The method integrates subsystem behaviors through synchronized transition labels and, for the first time, explicitly models supply chain managers as critical shared mobile resources to capture their coupled influence on system temporal feasibility. This formulation enables systematic analysis of the interplay between timing constraints and managerial capacity, facilitating the identification of key configurations that lead to successful execution, deadline violations, or temporal deadlocks. The approach thus provides “what-if” decision support for designing effective supply chain coordination strategies under dynamic operational constraints.
📝 Abstract
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.