Occurrence Nets Then and Now: The Path to Structured Occurrence Nets
- Lookup NU author(s)
- Professor Brian Randell
|
|
|
|
| Author(s) | | Randell B |
| Editor(s) | | Kristensen, L.M., Petrucci, L. |
| Publication type | | Conference Proceedings (inc. Abstract) |
| Conference Name | | Application and Theory of Petri Nets |
| Conference Location | | Newcastle upon Tyne, UK |
| Year of Conference | | 2011 |
| Date | | 20-24 June 2011 |
| Volume | | 6709 |
| Pages | | 1-16 |
| Series Title | | Lecture Notes in Computer Science |
| ISBN | | 9783642218330 |
| |  |
|
|
|
| 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. |
|
|
|
| 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 |
| Actions | |  |
| Library holdings | | Search Newcastle University Library for this item |
