(untitled) (Informatica)
Algorithmic Tools for the Transformation of Petri Nets to DEVS