Serge Haddad : Rapports de recherche
- Serge Haddad and Denis Poitrenaud,
Decidability and Undecidability Results for Recursive Petri Nets,
Technical Report 019 LIP6, Paris VI University,
September 1999 (postscript)
- Serge Haddad and Denis Poitrenaud,
A Model Checking Decision Procedure for Sequential Recursive Petri Nets,
Technical Report 024 LIP6, Paris VI University,
September 2000 (postscript)