Modelling and Analysis of Supply Chains using Product Time Petri Nets. - Éric Lubat; Pierre-Emmanuel Hladik; Yoann Mateu; Rémi Sauvère (CoRR, 2026)