Using Petri nets for modeling enterprise integration patterns

Enterprise Integration Patterns are a collection of widely used patterns for integrating enterprise applications and business processes. These patterns informally represent typical design decisions for connecting enterprise applications. For the set of patterns collected by Hohpe and Woolf in "Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions" we presented for each pattern the conceptual translation into a Coloured Petri Net (CPN). We then show, how to apply these CPN realizations for de¿ning a formal model based on a system speci¿cation using Enterprise Integration Patterns, which allows us to exploit the full power of analysis techniques and range of application for CPN