Požadavek: Montrac 
  Montrac je dopravníkový systém s několika samostatnými vozíčky. Tyto vozíčky přepravují částečně zkompletované výrobky mezi několika stanicemi.
Kontext:
  Pokud je linka v provozu

Scénář: Normální běh linky - Montrac Shuttle X - Příjezd vozíčku do stanice
  Když stanice XZX je volná
  Pak   Shuttle přijede do stanice XZX

Scénář: Normální běh linky - Montrac Shuttle X - Přeprava dílů ze stanice
  Pokud stanice XXX je volná
  Když  robot R1 dokončil operace
  Pak   Shuttle přejede do stanice XXX

Scénář: Normální běh linky - Montrac Shuttle Y - Příjezd vozíčku do stanice
  Když stanice XZZ je volná
  Pak   Shuttle přijede do stanice XZZ

Scénář: Normální běh linky - Montrac Shuttle Y - Přeprava dílů ze stanice
  Pokud stanice XXX je volná
  Když  robot R1 dokončil operace
  Pak   Shuttle přejede do stanice XXX

Scénář: Normální běh linky - Montrac Shuttle Z - Příjezd vozíčku do stanice
  Když stanice XZY je volná
  Pak   Shuttle přijede do stanice XZY

Scénář: Normální běh linky - Montrac Shuttle Z - Přeprava dílů ze stanice
  Pokud stanice XXX je volná
  Když  robot R1 dokončil operace
  Pak   Shuttle přejede do stanice XXX

Scénář: Doplnění skladu kostiček - Montrac Shuttle X - Doplňování zásob pro robota u stanici ZZZ
  Pokud robot R potřebuje doplnit sklad
  Když  stanice ZZZ volná
  Pak   Shuttle X jede do stanice ZZZ

Scénář: Doplnění skladu kostiček - Montrac Shuttle X - Odjezd od stanice RRR, kde vozíček čeká na další úkol
  Pokud je Shuttle X ve stanici ZZZ
  Když  Shuttle X je naplněn kostičkami
  Pak   Shuttle jede do stanice RRR u robotu R

Scénář: Doplnění skladu kostiček - Montrac Shuttle Y - Doplňování zásob pro robota u stanici ZZZ
  Pokud robot R potřebuje doplnit sklad
  Když  stanice ZZZ volná
  Pak   Shuttle Y jede do stanice ZZZ

Scénář: Doplnění skladu kostiček - Montrac Shuttle Y - Odjezd od stanice RRR, kde vozíček čeká na další úkol
  Pokud je Shuttle X ve stanici ZZZ
  Když  Shuttle Y je naplněn kostičkami
  Pak   Shuttle jede do stanice RRR u robotu R

Scénář: Doplnění skladu kostiček - Montrac Shuttle Z - Doplňování zásob pro robota u stanici ZZZ
  Pokud robot R potřebuje doplnit sklad
  Když  stanice ZZZ volná
  Pak   Shuttle X jede do stanice ZZZ

Scénář: Doplnění skladu kostiček - Montrac Shuttle Z - Odjezd od stanice RRR, kde vozíček čeká na další úkol
  Pokud je Shuttle X ve stanici ZZZ
  Když  Shuttle Y je naplněn kostičkami
  Pak   Shuttle jede do stanice RRR u robotu R
