On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity

Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman
April 2016
HAL PDF DOI
Type
Journal article
Publication
Constraints, 21 (2):251–276