WITHDRAWN: Modelling and Analysis of Timed and Coloured Petri Nets Using Linear Formal Series in Dioid Algebra - Withdrawal Notice | RetractBase