How to solve the problem:
If the parallel process in s1 is not synchronized with the path resulting from the transition t3, there immediately results a Dead-Lock. A possible solution is: