Dynamic model
State of pckgs and pipes regarded as a set
of queues
Pckg arriving at a sensor above switch is at
the head of the queue in the pipe to which
sensor is attached
Destinations (read at source station) are
attached to pckg objects in this queue model
To flip a switch, m/c consults queue model to
identify destination and hence switch setting