Adjusted version of model herbstFig6p34. Additional silent transitions allow to end process execution earlier as in original version.