A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

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

Faten Nabli
  • Fonction : Auteur
  • PersonId : 939831
Francois Fages
Thierry Martinez
  • Fonction : Auteur
  • PersonId : 939832
Sylvain Soliman
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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
28 Consultations
0 Téléchargements

Altmetric

Partager

More