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 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

INRIA | INRIA2

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 Datacite

Share

Metrics

Record views

13

 

Contact                    Legal Notice                    Personal Data