@article{Jancar:2008:BTP:1453257.1453392,
    Address = {Duluth, MN, USA},
    Author = {Jan\v{c}ar, Petr},
    File = {Bouziane's Transformation of the Petri Net Reachability Problem and Incorrectness of the Related Algorithm - Jancar (1) (0) - a - a - k.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {Petri net, Reachability},
    Month = {November},
    Number = {11},
    Pages = {1259--1263},
    Publisher = {Academic Press, Inc.},
    Title = {Bouziane's Transformation of the Petri Net Reachability Problem and Incorrectness of the Related Algorithm},
    URL = {http://dx.doi.org/10.1016/j.ic.2008.06.003},
    Volume = {206},
    Year = {2008},
    acmid = {1453392},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2008.06.003},
    date-added = {2013-12-29 10:14:22 +0000},
    date-modified = {2013-12-29 10:14:22 +0000},
    file-2 = {Bouziane's Transformation of the Petri Net Reachability Problem and Incorrectness of the Related Algorithm - Jancar (0) (0) - a - a - k.pdf},
    issue_date = {November, 2008},
    numpages = {5},
    doi = {10.1016/j.ic.2008.06.003}
}

@article{Jancar:2008:BTP:1453257.1453392, Address = {Duluth, MN, USA}, Author = {Jan\v{c}ar, Petr}, File = {Bouziane's Transformation of the Petri Net Reachability Problem and Incorrectness of the Related Algorithm - Jancar (1) (0) - a - a - k.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {Petri net, Reachability}, Month = {November}, Number = {11}, Pages = {1259--1263}, Publisher = {Academic Press, Inc.}, Title = {Bouziane's Transformation of the Petri Net Reachability Problem and Incorrectness of the Related Algorithm}, URL = {http://dx.doi.org/10.1016/j.ic.2008.06.003}, Volume = {206}, Year = {2008}, acmid = {1453392}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2008.06.003}, date-added = {2013-12-29 10:14:22 +0000}, date-modified = {2013-12-29 10:14:22 +0000}, file-2 = {Bouziane's Transformation of the Petri Net Reachability Problem and Incorrectness of the Related Algorithm - Jancar (0) (0) - a - a - k.pdf}, issue_date = {November, 2008}, numpages = {5}, doi = {10.1016/j.ic.2008.06.003} }