Dead-lock in ProM

This error happens nondeterminisitically. Sometimes this steps succeeds and the next step locks, sometimes another step is needed. I think, I've encountered the error one step earlier as well.

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.