Web Service Composition with Petri Net and Ontology