Communicating sequential processes
Communicating sequential processes
CSP-programs as nets with individual tokens
Advances in Petri Nets 1984
An exercise in concurrency: a CSP process as a condition/event system
Advances in Petri Nets 1988
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
The box algebra = Petri nets + process expressions
Information and Computation
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Operational Petri net semantics for CCSP
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Stochastic Petri net semantics for stochastic process algebras
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
PETRI NET LANGUAGE
Specification and analysis of stochastic properties for concurrent systems expressed using csp
Specification and analysis of stochastic properties for concurrent systems expressed using csp
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Introduction to Automata Theory, Languages, and Computation
Introduction to Automata Theory, Languages, and Computation
The MEB and CEB Static Analysis for CSP Specifications
Logic-Based Program Synthesis and Transformation
An algorithm to generate the context-sensitive synchronized control flow graph
Proceedings of the 2010 ACM Symposium on Applied Computing
| Hi-index | 0.00 |
The specification and simulation of complex concurrent systems is a difficult task due to the intricate combinations of message passing and synchronizations that can occur between the components of the system. Two of the most extended formalisms used to specify, verify and simulate such kind of systems are CSP and the Petri nets. This work introduces a new technique that allows us to automatically transform a CSP specification into an equivalent Petri net. The transformation is formally defined by instrumenting the operational semantics of CSP. Because the technique uses a semantics-directed transformation, it produces Petri nets that are closer to the CSP specification and thus easier to understand. This result is interesting because it allows CSP developers not only to graphically animate their specifications through the use of the equivalent Petri net, but it also allows them to use all the tools and analysis techniques developed for Petri nets.