Algorithmic Tools for the Transformation of Petri Nets to DEVS. IJCAI 37 (4).