@chapter{Esparza,
    Author = {Esparza, Javier},
    BookTitle = {Lectures on Petri Nets I: Basic Models},
    File = {Decidability and complexity of Petri net problems --- An introduction - Esparza (0) (0) - a - a - g.pdf},
    Keywords = {Petri nets},
    Pages = {374--428},
    Series = {Lecture Notes in Computer Science},
    Title = {Decidability and complexity of Petri net problems --- An introduction},
    Volume = {1491},
    Year = {1998},
    bdsk-url-1 = {http://www.springerlink.com/content/0nl351947367n07l/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-65306-6\_20},
    date-added = {2012-07-11 10:03:18 +0200},
    date-modified = {2012-07-11 08:03:27 +0000},
    file-2 = {Decidability and complexity of Petri net problems --- An introduction - Esparza (1) (0) - a - a - g.pdf},
    doi = {10.1007/3-540-65306-6_20}
}

@chapter{Esparza, Author = {Esparza, Javier}, BookTitle = {Lectures on Petri Nets I: Basic Models}, File = {Decidability and complexity of Petri net problems --- An introduction - Esparza (0) (0) - a - a - g.pdf}, Keywords = {Petri nets}, Pages = {374--428}, Series = {Lecture Notes in Computer Science}, Title = {Decidability and complexity of Petri net problems --- An introduction}, Volume = {1491}, Year = {1998}, bdsk-url-1 = {http://www.springerlink.com/content/0nl351947367n07l/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-65306-6_20}, date-added = {2012-07-11 10:03:18 +0200}, date-modified = {2012-07-11 08:03:27 +0000}, file-2 = {Decidability and complexity of Petri net problems --- An introduction - Esparza (1) (0) - a - a - g.pdf}, doi = {10.1007/3-540-65306-6_20} }