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 RandellORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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

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

Pages: 1-16

ISSN: 0302-9743 (prtint) 1611-3349 (online)

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/978-3-642-21834-7_1

DOI: 10.1007/978-3-642-21834-7_1

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642218330


Share