A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets

Faten Nabli, Francois Fages, Thierry Martinez, Sylvain Soliman (2012).

In CP 2012: Principles and Practice of Constraint Programming, pages 798-814.