Petri Net Translation Patterns for the Analysis of eBusiness Collaboration Messaging Protocols | IEEE Journals & Magazine | IEEE Xplore