Toggle Main Menu Toggle Search

ePrints

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

Lookup NU author(s): Professor Brian Randell

Downloads


Abstract

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.


Publication metadata

Author(s): Randell B

Publication type: Report

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 19

Source Publication Date: March 2011

Report Number: 1243

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: https://assets.cs.ncl.ac.uk/TRs/1243.pdf


Share