Search

Faten Nabli

On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri
Steady-state Solution of Biochemical Systems, Beyond S-systems via T-invariants

Published with Wowchemy — the free, open source website builder that empowers creators.