Jockeying Queues

• Jockeying:
  • entity moves from the end of a queue to another shorter queue
    • 
  • examples
    • changing lanes on the highway or at the supermarket
    • load balancing of servers or production lines
• Benchmark task:
  • reference model + jockeying, if new queue at least two shorter
  • small deterministic + large stochastic version
  • benchmark fixes exact behaviour and order of concurrent events
  • main problem
    • how to detach the last entity of a queue