Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman. On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity.
Constraints, Springer Verlag, 2016, 21 (2), pp.251--276.
⟨10.1007/s10601-015-9190-1⟩.
⟨hal-01170962⟩