A Petri-Net-Based Approach to Reliability Determination of Ontology-Based Service Compositions | IEEE Journals & Magazine | IEEE Xplore