Cargando…

MCC: A Tool for Unfolding Colored Petri Nets in PNML Format

MCC is a tool designed for a very specific task: to transform the models of High-Level Petri nets, given in the PNML syntax, into equivalent Place/Transition nets. The name of the tool derives from the annual Model-Checking Contest, a competition of model-checking tools that provides a large and div...

Descripción completa

Detalles Bibliográficos
Autor principal: Dal Zilio, Silvano
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324233/
http://dx.doi.org/10.1007/978-3-030-51831-8_23
_version_ 1783551897990332416
author Dal Zilio, Silvano
author_facet Dal Zilio, Silvano
author_sort Dal Zilio, Silvano
collection PubMed
description MCC is a tool designed for a very specific task: to transform the models of High-Level Petri nets, given in the PNML syntax, into equivalent Place/Transition nets. The name of the tool derives from the annual Model-Checking Contest, a competition of model-checking tools that provides a large and diverse collection of PNML models. This choice in naming serves to underline the main focus of the tool, which is to provide an open and efficient solution that lowers the access cost for developers wanting to engage in this competition. We describe the architecture and functionalities of our tool and show how it compares with other existing solutions. Despite the fact that the problem we target is abundantly covered in the literature, we show that it is still possible to innovate. To substantiate this assertion, we put a particular emphasis on two distinctive features of MCC that have proved useful when dealing with some of the most challenging colored models in the contest.
format Online
Article
Text
id pubmed-7324233
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73242332020-06-30 MCC: A Tool for Unfolding Colored Petri Nets in PNML Format Dal Zilio, Silvano Application and Theory of Petri Nets and Concurrency Article MCC is a tool designed for a very specific task: to transform the models of High-Level Petri nets, given in the PNML syntax, into equivalent Place/Transition nets. The name of the tool derives from the annual Model-Checking Contest, a competition of model-checking tools that provides a large and diverse collection of PNML models. This choice in naming serves to underline the main focus of the tool, which is to provide an open and efficient solution that lowers the access cost for developers wanting to engage in this competition. We describe the architecture and functionalities of our tool and show how it compares with other existing solutions. Despite the fact that the problem we target is abundantly covered in the literature, we show that it is still possible to innovate. To substantiate this assertion, we put a particular emphasis on two distinctive features of MCC that have proved useful when dealing with some of the most challenging colored models in the contest. 2020-06-02 /pmc/articles/PMC7324233/ http://dx.doi.org/10.1007/978-3-030-51831-8_23 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Dal Zilio, Silvano
MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
title MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
title_full MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
title_fullStr MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
title_full_unstemmed MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
title_short MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
title_sort mcc: a tool for unfolding colored petri nets in pnml format
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324233/
http://dx.doi.org/10.1007/978-3-030-51831-8_23
work_keys_str_mv AT dalziliosilvano mccatoolforunfoldingcoloredpetrinetsinpnmlformat