Occurrence nets then and now: the path to structured occurrence nets
作者： Brian Randell
DOI: 10.1007/978-3-642-21834-7_1
关键词: Atomicity 、 Path (graph theory) 、 Computer science 、 Distributed computing 、 Deadlock 、 Honour 、 System verification 、 Dependability 、 Software engineering 、 Petri net
摘要: This lecture, in honour of the late Carl Adam Petri, tells my early interactions with him and summarizes a small sequence research projects at Newcastle University from 1977 onwards that relate to occurrence nets, ending description planned new project on "structured nets". The areas actual or application include deadlock avoidance, error recovery, atomicity, failure analysis, system synthesis verification.
springer.com
sci-hub.st 参考文章(32)
Paul J. Schweitzer, Philip M. Merlin, Deadlock Avoidance in Store-And-Forward Networks. Jerusalem Conference on Information Technology. pp. 577- 581 ,(1978)
Net Theory and Applications Springer Berlin Heidelberg. ,(1980) , 10.1007/3-540-100016
Nigel S. M. Cox, Michael W. Grose, Organization and handling of bibliographic records by computer : [proceedings of a seminar sponsored by the Computing Laboratory and the Library of the University of Newcastle-upon-Tyne] Oriel Press. ,(1967)
Ivan Poliakov, Victor Khomenko, Alex Yakovlev, Workcraft --- A Framework for Interpreted Graph Models applications and theory of petri nets. pp. 333- 342 ,(2009) , 10.1007/978-3-642-02424-5_21
Maciej Koutny, On the Merlin-Randell problem of train journeys Lecture Notes in Computer Science. pp. 179- 190 ,(1984) , 10.1007/3-540-12925-1_38
J. J. Horning, H. C. Lauer, P. M. Melliar-Smith, B. Randell, A program structure for error detection and recovery Lecture Notes in Computer Science. pp. 171- 187 ,(1974) , 10.1007/BFB0029359
Keijo Heljanko, Javier Esparza, Unfoldings: A Partial-Order Approach to Model Checking Springer. ,(2010)
R. H. Campbell, A. N. Habermann, The specification of process synchronization by path expressions Lecture Notes in Computer Science. pp. 89- 102 ,(1974) , 10.1007/BFB0029355
Philip Meir Merlin, A study of the recoverability of computing systems. University of California, Irvine. ,(1974)
Brian Randell, Maciej Koutny, Failures: their definition, modelling and analysis international colloquium on theoretical aspects of computing. pp. 260- 274 ,(2007) , 10.1007/978-3-540-75292-9_18