@article{HaddadPiotrenaud:RecursivePN:2007,
    Author = {Haddad, Serge and Poitrenaud, Denis},
    File = {Recursive Petri nets - Haddad, Poitrenaud (0) (0) - a - a - g.pdf},
    ISSN = {0001-5903},
    Journal = {Acta Informatica},
    Language = {English},
    Number = {7-8},
    Pages = {463-508},
    Publisher = {Springer-Verlag},
    Title = {Recursive Petri nets},
    URL = {http://dx.doi.org/10.1007/s00236-007-0055-y},
    Volume = {44},
    Year = {2007},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-007-0055-y},
    date-added = {2015-10-30 12:40:20 +0000},
    date-modified = {2015-10-30 12:40:20 +0000},
    file-2 = {Recursive Petri nets - Haddad, Poitrenaud (1) (0) - a - a - g.pdf},
    doi = {10.1007/s00236-007-0055-y}
}

@article{HaddadPiotrenaud:RecursivePN:2007, Author = {Haddad, Serge and Poitrenaud, Denis}, File = {Recursive Petri nets - Haddad, Poitrenaud (0) (0) - a - a - g.pdf}, ISSN = {0001-5903}, Journal = {Acta Informatica}, Language = {English}, Number = {7-8}, Pages = {463-508}, Publisher = {Springer-Verlag}, Title = {Recursive Petri nets}, URL = {http://dx.doi.org/10.1007/s00236-007-0055-y}, Volume = {44}, Year = {2007}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-007-0055-y}, date-added = {2015-10-30 12:40:20 +0000}, date-modified = {2015-10-30 12:40:20 +0000}, file-2 = {Recursive Petri nets - Haddad, Poitrenaud (1) (0) - a - a - g.pdf}, doi = {10.1007/s00236-007-0055-y} }