Petri nets and production systems | Publicación