@article{FinkelLeroux:Petri:2015,
    Author = {Finkel, Alain and Leroux, J{\'e}r{\^o}me},
    File = {Recent and simple algorithms for Petri nets - Finkel, Leroux (0) (0) - a - a - m.pdf},
    ISSN = {1619-1366},
    Journal = {Software \& Systems Modeling},
    Keywords = {Petri nets; Verification of reachability properties; Simple algorithms},
    Language = {English},
    Number = {2},
    Pages = {719-725},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Recent and simple algorithms for Petri nets},
    URL = {http://dx.doi.org/10.1007/s10270-014-0426-0},
    Volume = {14},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10270-014-0426-0},
    date-added = {2015-10-27 13:41:43 +0000},
    date-modified = {2015-10-27 13:41:43 +0000},
    doi = {10.1007/s10270-014-0426-0}
}

@article{FinkelLeroux:Petri:2015, Author = {Finkel, Alain and Leroux, J{\'e}r{\^o}me}, File = {Recent and simple algorithms for Petri nets - Finkel, Leroux (0) (0) - a - a - m.pdf}, ISSN = {1619-1366}, Journal = {Software \& Systems Modeling}, Keywords = {Petri nets; Verification of reachability properties; Simple algorithms}, Language = {English}, Number = {2}, Pages = {719-725}, Publisher = {Springer Berlin Heidelberg}, Title = {Recent and simple algorithms for Petri nets}, URL = {http://dx.doi.org/10.1007/s10270-014-0426-0}, Volume = {14}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10270-014-0426-0}, date-added = {2015-10-27 13:41:43 +0000}, date-modified = {2015-10-27 13:41:43 +0000}, doi = {10.1007/s10270-014-0426-0} }