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

Faten Nabli, Francois Fages, Thierry Martinez, Sylvain Soliman
October 2012
HAL DOI
Type
Conference paper
Publication
In CP 2012: Principles and Practice of Constraint Programming, pages 798-814