Andrew L. Feller, Teresa Wu, Dan L. Shunk, John W. Fowler. Petri Net Translation Patterns for the Analysis of eBusiness Collaboration Messaging Protocols. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 39(5):1022-1034, 2009. [doi]
Abstract is missing.