SANET: Semantically Annotated Workflow Net

This work proposes a general approach for checking the semantic consistency of a Workflow Model. Industries can have many benefits from being able to verify the fairness of their BPMN model. The adopeted strategy is driven by a Semantically Annotated workflow Net (SA-Net) generated from a BPMN well-formed model. We describe how to extend a WF-net with semantic annotations for inspecting behavioral properties of a workflow. The algorithm illustrated is based on Petri net analysis techniques and information on the state of the world associate to each main element in a BPMN.