<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">That's the associated pdl:<div><br></div><div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(63, 127, 127); "><span style="color: #008080"><</span>task-node <span style="color: #7f007f">name</span><span style="color: #000000">=</span><span style="color: #2a00ff">"Wrap up" </span><span style="color: #008080">></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(42, 0, 255); "><span style=""><font class="Apple-style-span" color="#000000"><span class="Apple-style-span" style="white-space: pre;"> </span></font></span><span style="color: #008080"><</span><span style="color: #3f7f7f">task </span><span style="color: #7f007f">name</span><span style="color: #000000">=</span>"Wrap up"<span style="color: #008080">></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(63, 127, 127); "><span style=""><font class="Apple-style-span" color="#000000"> </font></span><span style="color: #008080"><</span>assignment<span style="color: #008080">></</span>assignment<span style="color: #008080">></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(63, 127, 127); "><span style=""><font class="Apple-style-span" color="#000000"> </font></span><span style="color: #008080"></</span>task<span style="color: #008080">></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(42, 0, 255); "><span style="color: #008080"><</span><span style="color: #3f7f7f">transition </span><span style="color: #7f007f">to</span><span style="color: #000000">=</span>"end" <span style="color: #7f007f">name</span><span style="color: #000000">=</span>"finish this one"<span style="color: #008080">></</span><span style="color: #3f7f7f">transition</span><span style="color: #008080">></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(63, 127, 127); "><span style="color: #008080"></</span>task-node<span style="color: #008080">></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(63, 127, 127); "><font class="Apple-style-span" color="#008080"><br></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(63, 127, 127); "><font class="Apple-style-span" color="#008080"><br></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(63, 127, 127); "><font class="Apple-style-span" color="#008080">Is the assignment with pooled actors invalid?</font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(63, 127, 127); "><font class="Apple-style-span" color="#008080"><br></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 11px/normal Monaco; color: rgb(63, 127, 127); "><font class="Apple-style-span" color="#008080">/Heiko</font></div><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 11.0px Monaco; min-height: 15.0px"><span class="Apple-tab-span" style="white-space:pre"> </span><br class="webkit-block-placeholder"></p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 11.0px Monaco; min-height: 15.0px"><br></p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 11.0px Monaco; min-height: 15.0px"><br></p></div></body></html>