Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
Extended timing diagrams as a specification language
EURO-DAC '94 Proceedings of the conference on European design automation
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)
The formalization of message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Strand spaces: proving security protocols correct
Journal of Computer Security
An Improvement of McMillan's Unfolding Algorithm
Formal Methods in System Design
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Deadlock Checking Using Net Unfoldings
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Process semantics of general inhibitor nets
Information and Computation
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
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)
Online Testing by Protocol Decomposition
IOLTS '06 Proceedings of the 12th IEEE International Symposium on On-Line Testing
Verification of bounded Petri nets using integer programming
Formal Methods in System Design
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Knowledge based crime scenario modelling
Expert Systems with Applications: An International Journal
Failures: their definition, modelling and analysis
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Occurrence nets then and now: the path to structured occurrence nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Localities in systems with a/sync communication
Theoretical Computer Science
Causality in structured occurrence nets
Dependable and Historic Computing
Regions of Petri nets with a/sync connections
Theoretical Computer Science
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
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 paper introduces the concept of a 'structured occurrence net', which as its name indicates is based on that of an 'occurrence net', a well-established formalism for an abstract record that represents causality and concurrency information concerning a single execution of a system. Structured occurrence nets consist of multiple occurrence nets, associated together by means of various types of relationship, and are intended for recording or predicting, either the actual behaviour of complex systems as they communicate and evolve, or evidence that is being gathered and analysed concerning their alleged past behaviour. We provide a formal basis for the new formalism and show how it can be used to gain better understanding of complex fault-error-failure chains (i) among co-existing communicating systems, (ii) between systems and their sub-systems, and (iii) involving systems that are controlling, creating ormodifying other systems. We then go on to discuss how, with appropriate tools support, perhaps using extended versions of existing tools, structured occurrence nets could form a basis for improved techniques of system failure prevention and analysis.