A high-level petri net specification of the Cambridge fast ring M-access service | lit.salon