Redjimi, M.; Boukelkoul, S. Algorithmic Tools for the Transformation of Petri Nets to DEVS. Informatica 37 (4).