Andrew Feller;Rob Rucker
-;-
Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans