loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Franciny Medeiros Barreto ; Joslaine Cristina Jeske de Freitas ; Michel S. Soares and Stéphane Julia

Affiliation: Universidade Federal de Uberlândia, Brazil

Keyword(s): Formal Methods, Coloured Petri Nets, Modelling.

Related Ontology Subjects/Areas/Topics: Agents ; Artificial Intelligence ; Bioinformatics ; Biomedical Engineering ; Enterprise Information Systems ; Information Systems Analysis and Specification ; Methodologies and Technologies ; Operational Research ; Simulation ; Software Engineering

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.149.233.6

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 1: ICEIS; ISBN 978-989-758-028-4; ISSN 2184-4992, SciTePress, pages 145-152. DOI: 10.5220/0004861901450152

@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 1: ICEIS},
year={2014},
pages={145-152},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004861901450152},
isbn={978-989-758-028-4},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 1: ICEIS
TI - A Straightforward Introduction to Formal Methods Using Coloured Petri Nets
SN - 978-989-758-028-4
IS - 2184-4992
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
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic