Using the Business Process Model and Notation for Modeling Enterprise Integration Patterns
The Application of Petri Nets to Workflow Management