Conference Papers
Year : 2012
Sylvain Soliman : Connect in order to contact the contributor
https://inria.hal.science/hal-02308495
Submitted on : Tuesday, October 8, 2019-3:24:20 PM
Last modification on : Friday, February 4, 2022-3:10:07 AM
Cite
Faten Nabli, Francois Fages, Thierry Martinez, Sylvain Soliman. A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. CP 2012: Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. pp.798-814, ⟨10.1007/978-3-642-33558-7_57⟩. ⟨hal-02308495⟩
16
View
0
Download