Skip to Main content Skip to Navigation
Conference papers

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

Faten Nabli 1 Francois Fages 1 Thierry Martinez 1 Sylvain Soliman 1
1 CONTRAINTES - Constraint programming
Inria Paris-Rocquencourt
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

INRIA

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

30

 

Contact                    Legal Notice                    Personal Data