From LOTOS to Petri Nets through Iexpansion | Publicación