@incollection{DufourdFinkelSchnoebelen,
    Author = {Dufourd, C. and Finkel, A. and Schnoebelen, Ph.},
    BookTitle = {Automata, Languages and Programming},
    Editor = {Larsen, KimG. and Skyum, Sven and Winskel, Glynn},
    File = {Reset nets between decidability and undecidability - Dufourd, Finkel, Schnoebelen (0) (0) - a - a - c.pdf},
    ISBN = {978-3-540-64781-2},
    Keywords = {Petri nets},
    Pages = {103-115},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Reset nets between decidability and undecidability},
    URL = {http://dx.doi.org/10.1007/BFb0055044},
    Volume = {1443},
    Year = {1998},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0055044},
    date-added = {2013-03-27 14:40:24 +0000},
    date-modified = {2013-03-27 14:40:54 +0000},
    doi = {10.1007/BFb0055044}
}

@incollection{DufourdFinkelSchnoebelen, Author = {Dufourd, C. and Finkel, A. and Schnoebelen, Ph.}, BookTitle = {Automata, Languages and Programming}, Editor = {Larsen, KimG. and Skyum, Sven and Winskel, Glynn}, File = {Reset nets between decidability and undecidability - Dufourd, Finkel, Schnoebelen (0) (0) - a - a - c.pdf}, ISBN = {978-3-540-64781-2}, Keywords = {Petri nets}, Pages = {103-115}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Reset nets between decidability and undecidability}, URL = {http://dx.doi.org/10.1007/BFb0055044}, Volume = {1443}, Year = {1998}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0055044}, date-added = {2013-03-27 14:40:24 +0000}, date-modified = {2013-03-27 14:40:54 +0000}, doi = {10.1007/BFb0055044} }