OPENET: Ontology-based engine for high-level Petri nets | Publicación