C-BPMN: A Context Aware BPMN for Modeling Complex Business Process
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems