Hi, I wonder how to model the following scenario. Consider a simple 3 stages flowshop, there are no buffers in between. The interesting point here is that jobs can be processed in two directions, e.g., jobs of type t1 flow from machine A to B to C, while jobs of type t2 flow from machine C to B to A.
Suppose that machine B is a Truck and machine C is a Crane, jobs are containers. Now, consider a situation, job1 of type t1 just finished its operation on B(i.e., it is transported to location of B by a truck), and at the same time job2 of type t2 finished its opeation on C(it is lifted by the Crane). Here, a deadlock occurs, because we cannot exchange the two jobs instantly.
So, how to build a CP model to avoid this deadlock?
If it becomes a hybrid flowshop with block, it will be even more complicated.
Thanks in advance.