Confusion Analysis and Detection for Workflow Nets

<table class="table-group" id="tab1"><tr><td><table class="table"><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr class="thead"><td align="left">Business process</td><td align="left">WF-system</td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td align="left">Task</td><td align="left">Transition</td></tr><tr><td align="left">Condition</td><td align="left">Place</td></tr><tr><td align="left">Start condition</td><td align="left">Marked source place <svg height="15.0125" id="M189" style="vertical-align:-3.13504pt" version="1.1" viewbox="0 0 21.65 15.0125" width="21.65" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.625,9.425)"><path d="M570 304q0 -108 -87 -199q-40 -42 -94.5 -74t-105.5 -43q-41 0 -65 11l-29 -141q-9 -45 -1.5 -58t45.5 -16l26 -2l-5 -29l-241 -10l4 26q51 10 67.5 24t26.5 60l113 520q-54 -20 -89 -41l-7 26q38 28 105 53l11 49q20 25 77 58l8 -7l-17 -77q39 14 102 14q82 0 119 -36
t37 -108zM482 289q0 114 -113 114q-26 0 -66 -7l-70 -327q12 -14 32 -25t39 -11q59 0 118.5 81.5t59.5 174.5z" id="x1D45D"></path></g>
<g transform="matrix(.012,-0,0,-.012,10.7,14.388)"><path d="M135 536q-20 0 -35 15.5t-15 35.5q0 22 15 37t36 15t35.5 -15t14.5 -37q0 -21 -15 -36t-36 -15zM252 0h-220v26q48 5 59 17t11 63v206q0 47 -9 58t-54 18v24q78 12 142 39v-345q0 -51 11.5 -63t59.5 -17v-26z" id="x69"></path></g><g transform="matrix(.012,-0,0,-.012,13.889,14.388)"><path d="M524 0h-209v26q44 5 55 18t11 65v167q0 114 -91 114q-50 0 -109 -51v-235q0 -50 10 -61.5t55 -16.5v-26h-217v26q51 5 62 17t11 61v206q0 47 -9.5 58.5t-50.5 19.5v23q82 15 139 40v-79l67 47q47 30 83 30q60 0 94.5 -40t34.5 -112v-193q0 -50 10 -61.5t54 -16.5v-26z
" id="x6E"></path></g>
</svg></td></tr><tr><td align="left">End condition</td><td align="left">Marked sink place <svg height="15.1625" id="M190" style="vertical-align:-3.22281pt" version="1.1" viewbox="0 0 27.6875 15.1625" width="27.6875" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.625,9.425)"><path d="M570 304q0 -108 -87 -199q-40 -42 -94.5 -74t-105.5 -43q-41 0 -65 11l-29 -141q-9 -45 -1.5 -58t45.5 -16l26 -2l-5 -29l-241 -10l4 26q51 10 67.5 24t26.5 60l113 520q-54 -20 -89 -41l-7 26q38 28 105 53l11 49q20 25 77 58l8 -7l-17 -77q39 14 102 14q82 0 119 -36
t37 -108zM482 289q0 114 -113 114q-26 0 -66 -7l-70 -327q12 -14 32 -25t39 -11q59 0 118.5 81.5t59.5 174.5z" id="x1D45D"></path></g>
<g transform="matrix(.012,-0,0,-.012,10.7,14.387)"><path d="M257 449q92 0 154 -65t62 -158q0 -112 -67 -175t-150 -63q-98 0 -158.5 66.5t-60.5 154.5q0 59 21 106.5t54.5 75.5t71 43t73.5 15zM244 416q-48 0 -81 -47t-33 -128q0 -96 38 -158t99 -62q51 0 82 43.5t31 139.5q0 91 -36 151.5t-100 60.5z" id="x6F"></path></g><g transform="matrix(.012,-0,0,-.012,16.649,14.387)"><path d="M518 50v-26q-32 -4 -77 -16l-37 -11t-33 -9l-6 6v71q-56 -42 -74 -52q-43 -25 -77 -25q-55 0 -89.5 36.5t-34.5 112.5v196q0 38 -6.5 48.5t-26.5 15.5l-28 6v23q19 1 72 7q59 9 71 11q-3 -31 -3 -145v-135q0 -113 88 -113q59 0 108 48v234q0 38 -8 49t-34 15l-36 6v23
q44 2 90 8q37 4 67 10v-334q0 -37 8.5 -47t38.5 -12z" id="x75"></path></g><g transform="matrix(.012,-0,0,-.012,22.825,14.387)"><path d="M298 36l-68 -35q-25 -13 -42 -13q-98 0 -98 119v290h-69l-4 11l28 29h45v72l65 67l14 -2v-137h113q8 -8 6 -21t-12 -19h-107v-256q0 -96 59 -96q29 0 61 17z" id="x74"></path></g>
</svg></td></tr><tr><td align="left">Live task</td><td align="left">Live transition in extended WF-system</td></tr><tr><td align="left">Dead task</td><td align="left">Dead transition in extended WF-system</td></tr><tr><td align="left">Case</td><td align="left">Path from <svg height="15.0125" id="M191" style="vertical-align:-3.13504pt" version="1.1" viewbox="0 0 21.65 15.0125" width="21.65" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.625,9.425)"><path d="M570 304q0 -108 -87 -199q-40 -42 -94.5 -74t-105.5 -43q-41 0 -65 11l-29 -141q-9 -45 -1.5 -58t45.5 -16l26 -2l-5 -29l-241 -10l4 26q51 10 67.5 24t26.5 60l113 520q-54 -20 -89 -41l-7 26q38 28 105 53l11 49q20 25 77 58l8 -7l-17 -77q39 14 102 14q82 0 119 -36
t37 -108zM482 289q0 114 -113 114q-26 0 -66 -7l-70 -327q12 -14 32 -25t39 -11q59 0 118.5 81.5t59.5 174.5z" id="x1D45D"></path></g>
<g transform="matrix(.012,-0,0,-.012,10.7,14.388)"><path d="M135 536q-20 0 -35 15.5t-15 35.5q0 22 15 37t36 15t35.5 -15t14.5 -37q0 -21 -15 -36t-36 -15zM252 0h-220v26q48 5 59 17t11 63v206q0 47 -9 58t-54 18v24q78 12 142 39v-345q0 -51 11.5 -63t59.5 -17v-26z" id="x69"></path></g><g transform="matrix(.012,-0,0,-.012,13.889,14.388)"><path d="M524 0h-209v26q44 5 55 18t11 65v167q0 114 -91 114q-50 0 -109 -51v-235q0 -50 10 -61.5t55 -16.5v-26h-217v26q51 5 62 17t11 61v206q0 47 -9.5 58.5t-50.5 19.5v23q82 15 139 40v-79l67 47q47 30 83 30q60 0 94.5 -40t34.5 -112v-193q0 -50 10 -61.5t54 -16.5v-26z
" id="x6E"></path></g>
</svg> to <svg height="15.1625" id="M192" style="vertical-align:-3.22281pt" version="1.1" viewbox="0 0 27.6875 15.1625" width="27.6875" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.625,9.425)"><path d="M570 304q0 -108 -87 -199q-40 -42 -94.5 -74t-105.5 -43q-41 0 -65 11l-29 -141q-9 -45 -1.5 -58t45.5 -16l26 -2l-5 -29l-241 -10l4 26q51 10 67.5 24t26.5 60l113 520q-54 -20 -89 -41l-7 26q38 28 105 53l11 49q20 25 77 58l8 -7l-17 -77q39 14 102 14q82 0 119 -36
t37 -108zM482 289q0 114 -113 114q-26 0 -66 -7l-70 -327q12 -14 32 -25t39 -11q59 0 118.5 81.5t59.5 174.5z" id="x1D45D"></path></g>
<g transform="matrix(.012,-0,0,-.012,10.7,14.387)"><path d="M257 449q92 0 154 -65t62 -158q0 -112 -67 -175t-150 -63q-98 0 -158.5 66.5t-60.5 154.5q0 59 21 106.5t54.5 75.5t71 43t73.5 15zM244 416q-48 0 -81 -47t-33 -128q0 -96 38 -158t99 -62q51 0 82 43.5t31 139.5q0 91 -36 151.5t-100 60.5z" id="x6F"></path></g><g transform="matrix(.012,-0,0,-.012,16.649,14.387)"><path d="M518 50v-26q-32 -4 -77 -16l-37 -11t-33 -9l-6 6v71q-56 -42 -74 -52q-43 -25 -77 -25q-55 0 -89.5 36.5t-34.5 112.5v196q0 38 -6.5 48.5t-26.5 15.5l-28 6v23q19 1 72 7q59 9 71 11q-3 -31 -3 -145v-135q0 -113 88 -113q59 0 108 48v234q0 38 -8 49t-34 15l-36 6v23
q44 2 90 8q37 4 67 10v-334q0 -37 8.5 -47t38.5 -12z" id="x75"></path></g><g transform="matrix(.012,-0,0,-.012,22.825,14.387)"><path d="M298 36l-68 -35q-25 -13 -42 -13q-98 0 -98 119v290h-69l-4 11l28 29h45v72l65 67l14 -2v-137h113q8 -8 6 -21t-12 -19h-107v-256q0 -96 59 -96q29 0 61 17z" id="x74"></path></g>
</svg></td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

Description of a business procedure in a WF-system.

Discrete Dynamics in Nature and Society

tab1

Table 1

Table 1: Confusion Analysis and Detection for Workflow Nets 