Liveness and Reachability Analysis of BPMN Process Models
Business processes are usually defined by business experts who require intuitive and informal graphical notations such as BPMN (Business Process Management Notation) for documenting and communicating their organization activities and behavior. However, BPMN has not been provided with a formal semant...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Zagreb Faculty of Electrical Engineering and Computing
2016-06-01
|
| Series: | Journal of Computing and Information Technology |
| Subjects: | |
| Online Access: | http://cit.fer.hr/index.php/CIT/article/view/2774/2065 |