A Petri Net model of the CDC 6400 | Synapse