Technical reports

A high-level petri net specification of the Cambridge Fast Ring M-access service

Jonathan Billington

December 1987, 31 pages

DOI: 10.48456/tr-121

Abstract

Numerical Petri Nets (a high level inhibitor net) are used to characterise the Cambridge Fast Ring Hardware at a high level of abstraction. The NPN model describes the service provided to users of the hardware (stations, monitors, bridges and ring transmission plant), known as the M-Access service definition in order to remove ambiguities and as a basis for the development and verification of the protocols using the M-Access service.

Full text

PDF (1.5 MB)

BibTeX record

@TechReport{UCAM-CL-TR-121,
  author =	 {Billington, Jonathan},
  title = 	 {{A high-level petri net specification of the Cambridge Fast
         	   Ring M-access service}},
  year = 	 1987,
  month = 	 dec,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-121.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-121},
  number = 	 {UCAM-CL-TR-121}
}