Dead-lock in ProM Posted on April 11, 2011 (May 18, 2018) by Michael This error happens non– determinisitically. 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. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/