A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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

Faten Nabli
  • Function : Author
  • PersonId : 939831
Francois Fages
Thierry Martinez
  • Function : Author
  • PersonId : 939832
Sylvain Soliman
No file

Dates and versions

hal-02308495 , version 1 (08-10-2019)

Identifiers

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⟩

Collections

INRIA INRIA2
16 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More