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