MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
- 30 June 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- Vol. 12152, 426-435
- https://doi.org/10.1007/978-3-030-51831-8_23
Abstract
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.Keywords
This publication has 16 references indexed in Scilit:
- Presentation of the 9th Edition of the Model Checking ContestPublished by Springer Science and Business Media LLC ,2019
- Symmetry reduction for time Petri net state classesScience of Computer Programming, 2016
- 30 Years of GreatSPNPublished by Springer Science and Business Media LLC ,2016
- MARCIE – Model Checking and Reachability Analysis Done EfficientlyLecture Notes in Computer Science, 2013
- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri NetsLecture Notes in Computer Science, 2012
- New features in CPN-AMI 3: focusing on the analysis of complex distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- PN Standardisation: A SurveyLecture Notes in Computer Science, 2006
- The tool TINA – Construction of abstract state spaces for petri nets and time petri netsInternational Journal of Production Research, 2004
- The Petri Net Markup Language: Concepts, Technology, and ToolsLecture Notes in Computer Science, 2003
- On Well-Formed Coloured Nets and Their Symbolic Reachability GraphPublished by Springer Science and Business Media LLC ,1991