Distributed approach for modeling and performance analysis of supply chains by timed automata with guards and dioid algebra*
Jihene Rajah, Sid-Ali Addouche, Saïd Amari, Kamal Medjaher · 2025
In this paper, we propose a distributed modeling framework and analytical approach for evaluating the temporal performance of supply chains based on a class of uncertain discrete event systems. To this end, timed automata with guards (TAGs) and multi-clock are used to represent these systems, and the dioid algebra formalism is used to develop algorithms for calculating the time bounds of supply chain paths. In particular, we identify the ideal logistic chain completion intervals by employing Min-Plus algebra to express the extremal behaviors of TAGs emerging from the interplay of multiple clocks.