How to solve the problem:

 

The transition s5 leads to a jumb to the init-step, which is ahead of the start of parallel processes. This leads to a production of tokens and therefore to an unbounded SFC. The SFC can be correct with a jumb after the start of parallel processes, to step s2, as shown in the following figure: