Load Automaton

• Models all possible movements of batch in plant.

• Bit vectors posI and posII models mutex in plant.

• Clock tRB1 used to model time consumption.

Previous slide

Next slide

Back to first slide

View graphic version