University of Newcastle upon Tyne, Computing Laboratory, Technical Report, 1991.
Abstract: The authors describe a Petri net model (the box model) which allows the production of true concurrency semantics for a range of concurrent programming languages. In particular they give a true concurrency semantics for a large subset of occam-2 including data and priorities.
Keywords: net semantics (of) occam; Petri box model; true concurrency semantics; concurrent programming language; occam-2 subset, (including) priority.