COMPUTING SCIENCE Verification and Simulation Tool for Communication Structured Occurrence Nets
نویسنده
چکیده
Occurrence nets (ONs) are acyclic Petri nets recording single system executions. Structured occurrence nets (SONs), composed of multiple ONs together with additional relationships, are intended for portraying the behaviour of complex evolving systems. Such systems generally consist of a large number of sub-systems which may proceed concurrently and interact with each other. In this paper, we describe a tool support for visualisation, verification and simulation of occurrence nets, and of communication structured occurrence nets which are a basic variant of SONs.
منابع مشابه
Branching processes of communication structured PT-nets
Communication structured occurrence nets (CSON) are an extension of occurrence nets. They can be used to represent the execution behaviours of complex evolving systems. Communication structured place transition nets (CSPT-nets) provide a system-level model for describing the interaction between different systems, and CSONs can model individual runs of CSPT-nets. In this paper, we investigate br...
متن کاملCausality in Structured Occurrence Nets
Structured occurrence nets consist of multiple occurrence nets — each recording causality and concurrency in an execution of a component of a concurrent system. These occurrence nets are linked together by means of various types of relationships, aimed at representing dependencies between communicating and evolving sub-systems. In this paper, we investigate causality in the basic class of commu...
متن کاملOccurrence Nets Then and Now: The Path to Structured Occurrence Nets
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, atomic...
متن کاملComputer Tools Supporting Occurrence Graph Analysis of Coloured Petri Nets
This progress report presents and summarizes the research work done on part A of the authors Ph.D study at the Computer Science Department, University of Aarhus. The field of occurrence graph analysis of Coloured Petri Nets (CP-nets) is introduced, and the research results obtained are presented. Directions for future work on part B of the PhD study is outlined. A computer tool has been develop...
متن کاملUsing Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks
Petri nets have proved their effectiveness in modeling and formal verification of a large number of applications: control systems, communication protocols, application workflows, hardware design, etc. In the present days, one important focus of computer science is on security and secure communications. The use of Petri nets for verifying security properties is not a mature field due to a lack o...
متن کامل