Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-02308495
Contributor : Sylvain Soliman Connect in order to contact the contributor
Submitted on : Tuesday, October 8, 2019 - 3:24:20 PM
Last modification on : Friday, February 4, 2022 - 3:10:07 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

13