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

Faten Nabli, Franois Fages, Thierry Martinez, Sylvain Soliman

Browse the full CP paper archive.