Steady-state solution of biochemical systems, beyond S-systems via T-invariants. - Faten Nabli; Sylvain Soliman (CMSB, 2010)

A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. - Faten Nabli; François Fages; Thierry Martinez; Sylvain Soliman (CP, 2012)

Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri - Faten Nabli; François Fages; Thierry Martinez; Sylvain Soliman (CoRR, 2013)

Approches de programmation par contraintes pour l'analyse des propriétés structurelles des réseaux de Petri et application aux réseaux biochimiques. - Faten Nabli (2013)

On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. - Faten Nabli; Thierry Martinez; François Fages; Sylvain Soliman (Constraints An Int. J., 2016)