Report on the Model Checking Contest at Petri Nets 2011

Kordon, Fabrice; Linard, Alban; Buchs, Didier; Colange, Maximilien; Evangelista, Sami; Lampka, Kai; Lohmann, Niels; Paviot-Adet, Emmanuel; Thierry-Mieg, Yann; Wimmel, Harro

by Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel

View PDF

Reference:

Report on the Model Checking Contest at Petri Nets 2011 (Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel), In Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), Springer Verlag, volume VI, 2012.

Bibtex Entry:

@ARTICLE{a2012kordon,
                    author = {Kordon, Fabrice and Linard, Alban and Buchs, Didier and Colange, Maximilien and Evangelista, Sami and Lampka, Kai and Lohmann, Niels and Paviot-Adet, Emmanuel and Thierry-Mieg, Yann and Wimmel, Harro},
               x-lip6teams = {MOVE},
                  x-lip6id = {8067},
  x-international-audience = {yes},
                     title = {{Report on the Model Checking Contest at Petri Nets 2011}},
                   journal = {{Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)}},
                    volume = {VI},
                      year = {2012},
                     pages = {169-196},
                 publisher = {Springer Verlag},
                 url = {documents/mcc_2011.pdf}
}