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

  1. Lookup NU author(s)
  2. Professor Brian Randell
Author(s)Randell B
Editor(s)Kristensen, L.M., Petrucci, L.
Publication type Conference Proceedings (inc. Abstract)
Conference NameApplication and Theory of Petri Nets
Conference LocationNewcastle upon Tyne, UK
Year of Conference2011
Source Publication Date20-24 June 2011
Series TitleLecture Notes in Computer Science
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item