Capacity Control components from eCat might be a possible solution for this. I had asked a question last year, and the wonderful guys here helped me out. Have a look at the comment from @Tilma here How to Implement “Wait until either M1 or M2 is Free” in Process Modelling (No OR condition available)?.
1 Like