Ontology-oriented Petri Net Model of Semantics Service Composition | IEEE Conference Publication | IEEE Xplore