A master thesis from Aalborg University
Efficient Unfolding and Approximation of Colored Petri Nets with Inhibitor Arcs
Author(s)
Term
4. term
Education
Publication year
2018
Submitted on
2018-06-08
Pages
44 pages
Abstract
We define colored Petri nets with inhibitor arcs, and present an unfolding method, which allows us to unfold these to Petri nets with inhibitor arcs. We also present an overapproximation algorithm, which can answer a subset of queries performed on colored Petri nets, without unfolding the net. This algorithm offers faster verification of colored Petri nets, for the queries we are able to answer. In nets like BART- COL from the MCC'2017 competition, which has never received any answers by any tools in the competition, we are able to answer 62 out of 128 queries, using this algorithm. We implement both the overap- proximation algorithm and the unfolding method in the verifypn tool. Using the nets from the MCC'2017 competition as test set, we com- pare the unfolding implementation to the one in the tool MCC , where we are on average 30% slower at unfolding, but are faster in total run time in every net except one.
Keywords
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.