Application of Region Theory (art) Application of Concurrency to System Design (acsd 2011) 32 Nd International Conference on Application and Theory of Petri Nets (petri Nets 2011) Table of Content Programme Committee Classifying Boolean Nets for Region-based Synthesis