Deadlock
A circular wait among transporters, as found in the wait-for graph at a single instant.
The participants are in cycle order: each one awaits a zone held by the next, and the last awaits a zone held by the first. A report is a value, produced when a cycle is detected and not retained by the subsystem afterwards, so it is safe to keep and to assert against in a test.
Parameters
time
the simulation time at which the cycle was detected
participants
the transporters in the cycle, in cycle order, at least two of them