@inbook{Jancar1996,
    Address = {Berlin, Heidelberg},
    Author = {Jan{\v{c}}ar, Petr and Esparza, Javier},
    BookTitle = {Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8--12, 1996 Proceedings},
    Editor = {Meyer, Friedhelm and Monien, Burkhard},
    File = {chp\%3A10.1007\%2F3-540-61440-0\_152 (0) - a - a - v.pdf},
    ISBN = {978-3-540-68580-7},
    Keywords = {regularity},
    Pages = {478--489},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Deciding finiteness of Petri nets up to bisimulation},
    URL = {http://dx.doi.org/10.1007/3-540-61440-0\_152},
    Year = {1996},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-61440-0\_152},
    date-added = {2017-06-09 08:39:59 +0000},
    date-modified = {2017-06-09 08:48:05 +0000},
    doi = {10.1007/3-540-61440-0_152}
}

@inbook{Jancar1996, Address = {Berlin, Heidelberg}, Author = {Jan{\v{c}}ar, Petr and Esparza, Javier}, BookTitle = {Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8--12, 1996 Proceedings}, Editor = {Meyer, Friedhelm and Monien, Burkhard}, File = {chp\%3A10.1007\%2F3-540-61440-0_152 (0) - a - a - v.pdf}, ISBN = {978-3-540-68580-7}, Keywords = {regularity}, Pages = {478--489}, Publisher = {Springer Berlin Heidelberg}, Title = {Deciding finiteness of Petri nets up to bisimulation}, URL = {http://dx.doi.org/10.1007/3-540-61440-0_152}, Year = {1996}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-61440-0_152}, date-added = {2017-06-09 08:39:59 +0000}, date-modified = {2017-06-09 08:48:05 +0000}, doi = {10.1007/3-540-61440-0_152} }