Experimentation and output interchange for petri net models | Publicación