From OWL-S descriptions to Petri nets