SUMo'2011 + Componet 2011
International Workshop on
Scalable and Usable Model Checking for
Petri Nets and other models of Concurrency
A satellite event of PETRI NETS'2011 and ACSD'2011
June  21, 2011

Workshops Program

09:15-09:30 Opening (D. Buchs and H. Klaudel)
09:30-10:30 Keynote: Building LTL Model Checkers using Transition-based Generalized Büchi Automata, A. Duret-Lutz, EPITA-LRDE


Break + discussion around posters
11:00-12:30 Session 1 (Componet): chaired by R. Devillers
- Distributed Verification of Modular Systems, M. C. Boukala and L. Petrucci
- Compositional Analysis of Discrete Time Petri nets, Y. Thierry-Mieg, B. Berard, F. Kordon, D. Lime and O. H. Roux
- On the modularity in Petri Nets of Active Resources, V. Bashkin


14:00-15:30 Analysis of the Model Checking Contest results + discussion
You may also find the final set of formula used for reachability analysis as well as the raw analyzed data provided by the execution environment.


Break + discussion around posters
16:00-17:30 Session 2 (SUMo): chaired by V. Khomenko
- Optimising the compilation of Petri net models, L. Fronc and F. Pommereau
- Generalized Büchi Automata versus Testing Automata for Model Checking, A.E. Ben Salem, A. Duret-Lutz and F. Kordon
- When Graffiti Brings Order, A. Linard and D. Buchs