Introducing Petri nets | Publicación