A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service

The work

AuthorsJonathan Billington
Editors
Typetechreport
Year1987
Citekeybillington1987highlevel

Where it appeared

PublisherUniversity of Cambridge Computer Laboratory
Number in seriesUCAM-CL-TR-121
SchoolUniversity of Cambridge Computer Laboratory

Identifiers

DOI10.48456/tr-121
report_numberUCAM-CL-TR-121
ISSN1476-2986

Access

Landing pagehttps://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-121.html

Related

Contained inhopper1986cambridge
Distinct fromcohn1986mechanized
Distinct fromcohn1988correctness
Distinct fromcurzon1994formal
Distinct fromgordon1985formal
Distinct fromherbert1988case
Distinct frommelham1990formalizing

From bibtex.

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. The model has been developed to formalise 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.

A copy is held

pdf, 1.4 MB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereagent via bibtex
Added2026-09-15 22:52 UTC
Approved bya person 2026-09-23 14:09 UTC

Filed under

between-the-wire-and-the-packet what-one-proves-with

Cite it as

@techreport{billington1987highlevel,
  title        = {A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service},
  author       = {Jonathan Billington},
  year         = {1987},
  publisher    = {University of Cambridge Computer Laboratory},
  school       = {University of Cambridge Computer Laboratory},
  issn         = {1476-2986},
  doi          = {10.48456/tr-121},
}

This record lives at https://refs.drheap.org/billington1987highlevel/ and will keep doing so.