Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Specification styles in distributed systems design and verification
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
ACM Computing Surveys (CSUR)
Communication and Concurrency
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Formal Specification and Verification of Digital Systems
Formal Specification and Verification of Digital Systems
Primer in Petri Net Design
Specification of Timing Constraints within the Circal Process Algebra
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
A Methodology for the Formal Analysis of Asynchronous Micropipelines
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Modelling a Time-Dependent Protocol Using the Circal Process Algebra
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Towards a User-Friendly Design and Verification Environment
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Representations of Petri net interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
| Hi-index | 0.00 |
We define a translation from Condition/Event nets to the Circal process algebra. Such a translation exploits the Circal feature of allowing the simultaneous occurrence of distinct actions. This permits us to give Condition/Event nets a semantics based on true concurrency, in addition to the interleaving-based semantics. In this way the true concurrency aspects of Condition/Event nets are preserved in the process algebra representation and can be analysed using the verification facilities provided by the Circal System. Systems modelled partly using Condition/Event nets partly using the Circal process algebra can also be analysed within the same verification environment.