A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition | IEEE Conference Publication | IEEE Xplore