Occurrence Nets Then and Now: The Path to Structured Occurrence Nets

  1. Lookup NU author(s)
  2. Professor Brian Randell
Author(s)Randell B
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Year2011
DateMarch 2011
Report Number1243
Pages19
Full text is available for this publication:
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication