Crane A

• Models possible movements of crane A.

• Mutex modeled using bit vector cpos.

• Clock tCA used to model time consuming horizontal and vertical movements.

• Crane B is similar.

Previous slide

Next slide

Back to first slide

View graphic version