A Straightforward Introduction to Formal Methods Using Coloured Petri Nets

Franciny Medeiros Barreto, Joslaine Cristina Jeske de Freitas, Michel S. Soares, Stéphane Julia

2014

Abstract

Coloured Petri Nets (CPN) arose from the need to model very large and complex systems, which are found in real industrial applications. The idea behind CPN is to unite the ability to represent synchronization and competition for resources of Petri nets with the expressive power of programming languages, data types and diverse abstraction levels. Through this union, systems which study was previously impractical have become amenable to study. The objective of this paper is to present a formal modeling of the Health Watcher System applying the concepts of CPN using CPN Tools. Using a graphical language such as CPN often proves to be a helpful didactic method for introducing formal methods. This paper presents a brief introduction to Coloured Petri Nets, and illustrates how the construction, simulation, and verification are supported through the use of CPN Tools.

Paper Citation

in Harvard Style

Medeiros Barreto F., Cristina Jeske de Freitas J., S. Soares M. and Julia S. (2014). A Straightforward Introduction to Formal Methods Using Coloured Petri Nets . In Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-028-4, pages 145-152. DOI: 10.5220/0004861901450152

in Bibtex Style

@conference{iceis14,
author={Franciny Medeiros Barreto and Joslaine Cristina Jeske de Freitas and Michel S. Soares and Stéphane Julia},
title={A Straightforward Introduction to Formal Methods Using Coloured Petri Nets},
booktitle={Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2014},
pages={145-152},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004861901450152},
isbn={978-989-758-028-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - A Straightforward Introduction to Formal Methods Using Coloured Petri Nets
SN - 978-989-758-028-4
AU - Medeiros Barreto F.
AU - Cristina Jeske de Freitas J.
AU - S. Soares M.
AU - Julia S.
PY - 2014
SP - 145
EP - 152
DO - 10.5220/0004861901450152