To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.
How to detect if there is a gateway level deadlock in BPMN?
Comments
-
Hi Tommy,
If you do not encounter any rigid components in your RPST, then this may work. But chances are you will encounter them.
A solution could be to convert the BPMN diagram to a Workflow net and then to check soundness of the Workflow net with a tool like Woflan. If sound, then the BPMN diagram has no deadlocks.
Kind reagrds,
Eric.
Howdy, Stranger!
Categories
- 1.6K All Categories
- 45 Announcements / News
- 224 Process Mining
- 6 - BPI Challenge 2020
- 9 - BPI Challenge 2019
- 24 - BPI Challenge 2018
- 27 - BPI Challenge 2017
- 8 - BPI Challenge 2016
- 68 Research
- 1K ProM 6
- 393 - Usage
- 287 - Development
- 9 RapidProM
- 1 - Usage
- 7 - Development
- 54 ProM5
- 19 - Usage
- 187 Event Logs
- 32 - ProMimport
- 75 - XESame