Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets · Study