On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
scientific article; zbMATH DE number 6570969
scientific article