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