Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag

Colange, Maximilien; Baarir, Souheib; Kordon, Fabrice; Thierry-Mieg, Yann

by Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg

Reference:

Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag (Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg), In 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Springer, volume 6709, 2011. (MoVe INT LIP6)

Bibtex Entry:

@INPROCEEDINGS{pcolange2011,
                    author = {Colange, Maximilien and Baarir, Souheib and Kordon, Fabrice and Thierry-Mieg, Yann},
               x-lip6teams = {MOVE},
                  x-lip6id = {940},
  x-international-audience = {yes},
                     month = jun,
                     title = {{C}rocodile: a {S}ymbolic/{S}ymbolic tool for the analysis of {S}ymmetric {N}ets with {B}ag},
                 booktitle = {32nd {I}nternational {C}onference on {P}etri {N}ets and {O}ther {M}odels of {C}oncurrency ({ICATPN} 2011)},
                    series = {{L}ecture {N}otes in {C}omputer {S}cience},
                    volume = {6709},
                      year = {2011},
                     pages = {338-347},
                 publisher = {Springer},
                   address = {Newcastle, UK},
                      note = {MoVe INT LIP6},
                      url = {documents/pn_2011.pdf}
}