Overview Plant Model

• System with 5 steel batches:

  Parallel composition of:
  
  • 15 timed automata (6 - 60 locations),
  • 18 real-valued clocks,
  • 28 bounded integer variables,
  • 140 action channels.

• Feasible schedule: approx. 320 transitions.

Previous slide

Next slide

Back to first slide

View graphic version