Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 19

Print publication date: 01/03/2011

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