@article{Reinhardt:TCS:2008,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Reinhardt, Klaus},
    File = {Reachability in Petri Nets with Inhibitor Arcs - Reinhardt (0) (0) - a - a - t.pdf},
    ISSN = {1571-0661},
    Journal = {Electron. Notes Theor. Comput. Sci.},
    Keywords = {Petri nets and counter automata and readme},
    Month = {December},
    Pages = {239--264},
    Publisher = {Elsevier Science Publishers B. V.},
    Title = {Reachability in Petri Nets with Inhibitor Arcs},
    URL = {http://dx.doi.org/10.1016/j.entcs.2008.12.042},
    Volume = {223},
    Year = {2008},
    acmid = {1480789},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2008.12.042},
    date-added = {2012-07-05 19:25:34 +0200},
    date-modified = {2018-03-11 15:18:41 +0000},
    file-2 = {Reachability in Petri Nets with Inhibitor Arcs - Reinhardt (1) (0) - a - a - t.pdf},
    issue_date = {December, 2008},
    numpages = {26},
    doi = {10.1016/j.entcs.2008.12.042}
}

@article{Reinhardt:TCS:2008, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Reinhardt, Klaus}, File = {Reachability in Petri Nets with Inhibitor Arcs - Reinhardt (0) (0) - a - a - t.pdf}, ISSN = {1571-0661}, Journal = {Electron. Notes Theor. Comput. Sci.}, Keywords = {Petri nets and counter automata and readme}, Month = {December}, Pages = {239--264}, Publisher = {Elsevier Science Publishers B. V.}, Title = {Reachability in Petri Nets with Inhibitor Arcs}, URL = {http://dx.doi.org/10.1016/j.entcs.2008.12.042}, Volume = {223}, Year = {2008}, acmid = {1480789}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2008.12.042}, date-added = {2012-07-05 19:25:34 +0200}, date-modified = {2018-03-11 15:18:41 +0000}, file-2 = {Reachability in Petri Nets with Inhibitor Arcs - Reinhardt (1) (0) - a - a - t.pdf}, issue_date = {December, 2008}, numpages = {26}, doi = {10.1016/j.entcs.2008.12.042} }