Overview of Plant Model

Machine 1 & 4

Machine 2 & 5

Machine 3

Crane A

Crane B

Casting Machine

Load

Positions

Recipe

Production Order

TEST

BATCHES

PLANT

Check for E<>( test.final )

UPPAAL generates diagnostic trace if property holds.

Previous slide

Next slide

Back to first slide

View graphic version