@article{Cheng:1995:CRN:208328.208335,
    Address = {Essex, UK},
    Author = {Cheng, Allan and Esparza, Javier and Palsberg, Jens},
    File = {Complexity results for 1-safe nets - Cheng, Esparza, Palsberg (0) (0) - a - a - t.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {Petri nets},
    Month = {August},
    Number = {1-2},
    Pages = {117--136},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {Complexity results for 1-safe nets},
    URL = {http://dx.doi.org/10.1016/0304-3975(94)00231-7},
    Volume = {147},
    Year = {1995},
    acmid = {208335},
    bdsk-url-1 = {http://dx.doi.org/10.1016/0304-3975(94)00231-7},
    date-added = {2012-10-03 11:59:16 +0000},
    date-modified = {2012-10-26 09:20:39 +0000},
    issue_date = {Aug. 7, 1995},
    numpages = {20},
    doi = {10.1016/0304-3975(94)00231-7}
}

@article{Cheng:1995:CRN:208328.208335, Address = {Essex, UK}, Author = {Cheng, Allan and Esparza, Javier and Palsberg, Jens}, File = {Complexity results for 1-safe nets - Cheng, Esparza, Palsberg (0) (0) - a - a - t.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {Petri nets}, Month = {August}, Number = {1-2}, Pages = {117--136}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {Complexity results for 1-safe nets}, URL = {http://dx.doi.org/10.1016/0304-3975(94)00231-7}, Volume = {147}, Year = {1995}, acmid = {208335}, bdsk-url-1 = {http://dx.doi.org/10.1016/0304-3975(94)00231-7}, date-added = {2012-10-03 11:59:16 +0000}, date-modified = {2012-10-26 09:20:39 +0000}, issue_date = {Aug. 7, 1995}, numpages = {20}, doi = {10.1016/0304-3975(94)00231-7} }