Dead-lock in ProM Posted on March 29, 2018 by Michael https://westergaard.eu/wp-content/uploads/2018/03/Dead-lock-in-ProM.mp4