For the most recent entries see the Petri Nets Newsletter.

On the Design and Certification of Asynchronous Systems of Processes, Final Report Period 1976--1977, Part 2: Formal Theory of the Basic COSY Notation.

Lauer, P.E.; Shields, M.W.; Best, E.

University of Newcastle Upon Tyne, Computing Laboratory TR143, March 1978.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography