A Stochastic-Petri-Net-Based Model for Ontology-Based Service Compositions | IEEE Conference Publication | IEEE Xplore