Redjimi, M.; Boukelkoul, S. Algorithmic Tools for the Transformation of Petri Nets to DEVS. IJCAI 37.