Beatrice Berard (EDT)/ Michel Bidoit (EDT)/ Alain Finkel (EDT)/ Francois Laroussinie (EDT)/ Antoine Petit (EDT)/ Laure Petrucci (EDT)/ Philippe Schnoebelen (EDT)/ Pierre McKenzie (EDT)
（1）
Lars M. Kristensen (EDT)/ Laure Petrucci (EDT)
（1）
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
