@inproceedings{82cdef264a89459aa814bad8a3691237,
title = "An improvement of McMillan{\textquoteright}s unfolding algorithm",
abstract = "McMillan has recently proposed a new technique to avoid the state explosion problem in the verification of systems modelled with finite-state Petri nets. The technique requires to construct a finite initial part of the unfolding of the net. McMillan{\textquoteright}s algorithm for this task may yield initial parts that are larger than necessary (exponentially larger in the worst case). We present a refinement of the algorithm which overcomes this problem.",
author = "Javier Esparza and Stefan R{\"o}mer and Walter Vogler",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996 ; Conference date: 27-03-1996 Through 29-03-1996",
year = "1996",
doi = "10.1007/3-540-61042-1_40",
language = "English",
isbn = "3540610421",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "87--106",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings",
}