Title: A high-level petri net specification of the Cambridge fast ring M-access service