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 <>
Submitted on : Tuesday, October 8, 2019 - 3:24:20 PM
Last modification on : Wednesday, October 9, 2019 - 1:25:46 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

30