Transactional memory: architectural support for lock-free data structures
ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
A technique of state space search based on unfolding
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
A description of path expressions by Petri nets
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the Merlin-Randell Problem of Train Journeys
Proceedings of the 6th Colloquium on International Symposium on Programming
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
Behavioral Synthesis of Complex Parallel Controllers
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
The atomic manifesto: a story in four quarks
ACM SIGMOD Record
Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Verification of bounded Petri nets using integer programming
Formal Methods in System Design
Communications of the ACM - Web science
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Workcraft --- A Framework for Interpreted Graph Models
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Failures: their definition, modelling and analysis
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Localities in systems with a/sync communication
Theoretical Computer Science
Causality in structured occurrence nets
Dependable and Historic Computing
Modelling provenance using structured occurrence networks
IPAW'12 Proceedings of the 4th international conference on Provenance and Annotation of Data and Processes
Hi-index | 0.00 |
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.