Browse by author
Lookup NU author(s): Professor Brian RandellORCiD
This lecture, in honour of the late Carl Adam Petri, tells of my early interactions with him and summarizes a small sequence of research projects at Newcastle University from 1977 onwards that relate to occurrence nets, ending with a description of a planned new project on “structured occurrence nets”. The areas of actual or planned application include deadlock avoidance, error recovery, atomicity, failure analysis, system synthesis and system verification.
Author(s): Randell B
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2011
Pages: 19
Print publication date: 01/03/2011
Source Publication Date: March 2011
Report Number: 1243
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: https://assets.cs.ncl.ac.uk/TRs/1243.pdf
