Thesis Topic

A constraint programming approach to the analysis of Petri nets structural properties and application to biochemical networks.
Thesis defended on July 10th at 2 PM at the Universit� Paris Diderot. [slides]

Publications

Faten Nabli."A constraint programming approach to the analysis of Petri nets structural properties and application to biochemical networks". Thesis manuscript, 2013. [.pdf]

Faten Nabli, François Fages, Thierry Martinez, and Sylvain Soliman: "A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets". In Proceedings of CP'2012, 18th International Conference on Principles and Practice of Constraint Programming, pages 798–814, volume 7514 of Lecture Notes in Computer Science. Springer-Verlag, 2012.

Faten Nabli. "Finding minimal siphons and traps as a constraint satisfaction problem". In Proceedings of the Seventeenth International Conference on Principles and Practice of Constraint Programming (CP11), Doctoral Program, September 2011. [.pdf]

Faten Nabli, Sylvain Soliman, and François Fages. "Finding minimal as a constraint satisfaction problem". Poster presented at the Seventeenth International Conference on Principles and Practice of Constraint Programming (CP11), September 2011.

Faten Nabli and Sylvain Soliman. "Steady-state solution of biochemical systems, beyond S-Systems via T-invariants". In Paola Quaglia, editor, CMSB'10: Proceedings of the 8th International Conference on Computational Methods in Systems Biology, pages 14-22. CoSBi, ACM, October 2010. [http]

Faten Nabli, Sylvain Soliman, and François Fages. "Bipartite graph properties and systems biology". Poster presented at the spring school of Evry of "Modelling Complex Biological Systems in the Context of Genomics", Mai 2010.