@inproceedings{22001355fc2a4227b6b99c94e258b147,
title = "A framework for efficiently deciding language inclusion for sound unlabelled WF-nets",
abstract = "We present a framework to efficiently check language inclusion between two sound unlabelled WF-nets. That is, to efficiently check whether every successfully terminating transition sequence of one sound unlabelled WF-net also is a successfully terminating transition sequence of a second sound unlabelled WF-net. Existing approaches for checking language inclusion are typically based on the underlying transition systems of both nets, and hence are subject to the well-known state-explosion problem. As a result, these approaches cannot check language inclusion on sound unlabelled WF-nets in polynomial time. Our framework allows for efficient language inclusion checks even if parallelism is present, by comparing specific net abstractions that can be computed and compared in polynomial time. For sound unlabelled WF-nets that are free-choice and do not contain loops, we prove that our approach is complete.",
author = "D.M.M. Schunselaar and H.M.W. Verbeek and {Aalst, van der}, W.M.P. and H.A. Reijers",
year = "2013",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS.org",
pages = "135--154",
editor = "D. Moldt and H. R{\"o}lke",
booktitle = "International Workshop on Petri Nets and Software Engineering (PNSE'13, Milano, Italy, June 24-25, 2013)",
note = "International Workshop on Petri Nets and Software Engineering 2013 (PNSE '13), June 24-25, 2013, Milan, Italy, PNSE '13 ; Conference date: 24-06-2013 Through 25-06-2013",
}