Modelling and Analysis of Supply Chains using Product Time Petri Nets
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908939756503040 |
|---|---|
| author | Lubat, Eric Hladik, Pierre-Emmanuel Mateu, Yoann Sauvère, Rémi |
| author_facet | Lubat, Eric Hladik, Pierre-Emmanuel Mateu, Yoann Sauvère, Rémi |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_04544 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Modelling and Analysis of Supply Chains using Product Time Petri Nets Lubat, Eric Hladik, Pierre-Emmanuel Mateu, Yoann Sauvère, Rémi Systems and Control Formal Languages and Automata Theory Multiagent Systems 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. |
| title | Modelling and Analysis of Supply Chains using Product Time Petri Nets |
| topic | Systems and Control Formal Languages and Automata Theory Multiagent Systems |
| url | https://arxiv.org/abs/2604.04544 |