Transformation of Business Process Model and Notation models onto Petri nets and their analysis
Business Process Model and Notation is known as a widely used standard for business processes modeling. However, its main drawback is that it lacks formal semantics, leading to some undesirable properties, such as livelocks and deadlocks, such that it creates models with semantic errors. In order to...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publishing
2018-12-01
|
| Series: | Advances in Mechanical Engineering |
| Online Access: | https://doi.org/10.1177/1687814018808170 |