Faten Nabli, Francois Fages, Thierry Martinez, Sylvain Soliman. A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets.
CP 2012: Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. pp.798-814,
⟨10.1007/978-3-642-33558-7_57⟩.
⟨hal-02308495⟩