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
Date20-24 June 2011
Volume6709
Pages1-16
Series TitleLecture Notes in Computer Science
ISBN9783642218330
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.
PublisherSpringer-Verlag
URLhttp://dx.doi.org/10.1007/978-3-642-21834-7_1
DOI10.1007/978-3-642-21834-7_1
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item