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