On modularity and persistence of chemical reaction networks

In this paper we exploit the notion of state machine decomposable Petri nets (SMD nets), in order to enforce persistence of chemical reaction networks described by ODEs. Persistence is, in this context, the property that all chemical species are guaranteed to be asymptotically available if present at initial time.