Browse by author
Lookup NU author(s): Professor Brian RandellORCiD
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.
Author(s): Randell B
Editor(s): Kristensen, L.M., Petrucci, L.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Application and Theory of Petri Nets
Year of Conference: 2011
ISSN: 0302-9743 (prtint) 1611-3349 (online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science