M. Redjimi and S. Boukelkoul, “Algorithmic Tools for the Transformation of Petri Nets to DEVS”, IJCAI, vol. 37, no. 4.