Distributed control systems simulation using high level Petri nets | Publicación