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?

tommy
tommy
edited August 5 in Research

Dear Ladies and gentlemen

How to detect if there is a gateway level deadlock in BPMN? Can I use RPST to solve this problem? Or there are some perfect solutions that I haven't heard?

Best wishes.

tommy

Comments

  • hverbeek
    hverbeek

    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.

Sign In or Register to comment.

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register

Categories

In this Discussion