Occurrence Nets Then and Now: The Path to Structured Occurrence Nets
Brian Randell · School of Computing Science Technical Report Series · 2011
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.