Deriving Petri nets from finite transition systems | Publicación