Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
T. Bolognesi and E. Brinksma. Intoduction to the ISO specification language LOTOS. Computer Systems and ISDN Systems, 14(1):25–59, 1987.
A. Cerone. Modelling Petri nets in Circal. Web Page, 2001. http://www.itee.uq.edu.au/~antonio/Research/Misc/pntocir.html.
A. Cerone, A. J. Cowie, G. J. Milne, and P. A. Moseley. Description and verification of a time-sensitive protocol. Technical Report CIS-96-009, University of South Australia, Adelaide, 1996.
A. Cerone, A. J. Cowie, G. J. Milne, and P. A. Moseley. Modelling a time-dependent protocol using the Circal process algebra. In Proc. of HART97, volume 1201 of Lecture Notes in Computer Science, pages 124–138. Springer, 1997.
A. Cerone, D. A. Kearney, and G. J. Milne. Integrating the verification of timing, performance and correctness properties of concurrent systems. In Proc. of the Int. Conf. on Application of Concurrency to System Design (CSD’98), pages 109–119. IEEE Comp. Soc. Press, 1998.
A. Cerone and G. J. Milne. Specification of timing constraints within the Circal process algebra. In Proc. of AMAST97, volume 1349 of Lecture Notes in Computer Science, pages 108–122. Springer, 1997.
A. Cerone and G. J. Milne. A methodology for the formal analysis of asynchronous micropipelines. In Proc. of FMCAD00, volume 1954 of Lecture Notes in Computer Science, pages 246–262. Springer, 2000.
A. Cerone and N. Spargo. Petrinette: A tool for the integrated analysis of Petri nets and finite state machines. Technical Report 01-39, Software Verification Research Centre, The University of Queensland, Brisbane, 2001.
T. Chu, C. Leung, and T. Wanuga. A design methodology for concurrent VLSI systems. In Proc. of ICDD, pages 407–410, 1985.
C. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
G. J. Milne. Formal Specification and Verification of Digital Systems. McGraw Hill, 1994.
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
F. Moller. The semantics of Circal. Technical Report HDV-3-89, University of Strathclyde, Glasgow, UK, 1989.
J. Peterson. Petri nets. Computing Surveys, 9(3):223–252, 1977.
J. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981.
C. A. Petri. Kommunication mit automaten. Schrift der IIM Nr. 2, Institut für Instrumentelle Mathematik, University of Bonn, 1962. English translation: Technical Report RADC-TR-65-337, Griffiths Air Force Base, New York, 1966.
W. Reisig. Petri Nets— An introduction. Springer, 1985.
W. Reisig. A Primer in Petri Nets Design. Springer, 1992.
C. Vissers, G. Scollo, M. van Sinderen, and E. Brinksma. Specification styles in distributed systems design and verification. Theoretical Computer Science, 89:179–206, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cerone, A. (2002). Implementing Condition/Event Nets in the Circal Process Algebra. In: Kutsche, RD., Weber, H. (eds) Fundamental Approaches to Software Engineering. FASE 2002. Lecture Notes in Computer Science, vol 2306. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45923-5_4
Download citation
DOI: https://doi.org/10.1007/3-540-45923-5_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43353-8
Online ISBN: 978-3-540-45923-1
eBook Packages: Springer Book Archive