OPENET: Ontology-based engine for high-level Petri nets · Study