"Business Process Modeling. A Case Study: BPMN, YAWL, S-BPM"

Abstract: Through our  work to rigorously model the  intentions of two versions (1.0 and 2.0) of  the OMG standard for BPMN (Business Process Modeling Notation)  we detected various principled  weaknesses of this standard,  of  the  related   Workflow  Patterns  Initiative  and  the associated YAWL  language and tool. We analyze  these deficiencies and illustrate a possible way  out by providing a mathematically accurate, transparent user model  for a typical industrial BPM  tool that starts from  clearly defined  high-level concepts  of actions  of  agents and communication between them.

Link to Wikipedia