Constructs for prototyping information systems with object Petri nets | Publicación