Abstract: In this paper, we present a new framework for modeling supply chains (SC) using a class of uncertain timed Discrete Event Systems (DESs) modeled by Timed Automata with Guards (TAGs). We also ...