Home » Authors » Serge Haddad, Denis Poitrenaud

Serge Haddad, Denis Poitrenaud

Public reference bibliography and cataloged PDF materials authored or published by Serge Haddad, Denis Poitrenaud.

Found 1 document(s) Page 1 of 1

Decidability and Undecidability Results for Recursive Petri Nets

Year: 1999 • Source: hal.science • Listed PDF

Recursive Petri nets (RPNs) have been introduced to model systems with dynamic structure. Whereas this model is a strict extension of Petri nets, reachability in RPNs remains decidable. Here we focus on three complementa...