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

Fri, Apr 1, 2016·

Faten Nabli

,

Thierry Martinez

,

François Fages

,

Sylvain Soliman

· 0 min read

PDF HAL DOI

Type

Journal article

Publication

Constraints, 21 (2):251–276

Last updated on Fri, Apr 1, 2016

← Influence Systems vs Reaction Systems Thu, Sep 1, 2016

Model-based Investigation of the Effect of the Cell Cycle on the Circadian Clock through Transcription Inhibition during Mitosis Tue, Dec 1, 2015 →