Serge Haddad Denis Poitrenaud Recursive Petri nets. 463-508 2007 44 Acta Inf. 7-8 http://dx.doi.org/10.1007/s00236-007-0055-y db/journals/acta/acta44.html#HaddadP07