On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity Fri, Apr 1, 2016· Faten Nabli , Thierry Martinez , François Fages , Sylvain Soliman · 0 min read PDF HAL DOI Type Journal article Publication Constraints, 21 (2):251–276 Last updated on Fri, Apr 1, 2016 ← Influence Systems vs Reaction Systems Thu, Sep 1, 2016 Model-based Investigation of the Effect of the Cell Cycle on the Circadian Clock through Transcription Inhibition during Mitosis Tue, Dec 1, 2015 →