@inproceedings{Leroux2013,
    Author = {Leroux, J{\'e}r{\^o}me},
    BookTitle = {Proc. of ATVA'13},
    Editor = {Van Hung, Dang and Ogawa, Mizuhito},
    File = {Acceleration for Petri Nets - Leroux (0) (0) - a - a - q.pdf},
    ISBN = {978-3-319-02444-8},
    Pages = {1--4},
    Publisher = {Springer},
    Title = {Acceleration for Petri Nets (invited talk)},
    URL = {http://dx.doi.org/10.1007/978-3-319-02444-8\_1},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-02444-8\_1},
    date-added = {2016-07-26 09:10:10 +0000},
    date-modified = {2016-07-26 09:12:23 +0000},
    doi = {10.1007/978-3-319-02444-8_1}
}

@inproceedings{Leroux2013, Author = {Leroux, J{\'e}r{\^o}me}, BookTitle = {Proc. of ATVA'13}, Editor = {Van Hung, Dang and Ogawa, Mizuhito}, File = {Acceleration for Petri Nets - Leroux (0) (0) - a - a - q.pdf}, ISBN = {978-3-319-02444-8}, Pages = {1--4}, Publisher = {Springer}, Title = {Acceleration for Petri Nets (invited talk)}, URL = {http://dx.doi.org/10.1007/978-3-319-02444-8_1}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-02444-8_1}, date-added = {2016-07-26 09:10:10 +0000}, date-modified = {2016-07-26 09:12:23 +0000}, doi = {10.1007/978-3-319-02444-8_1} }