Coloured Petri Nets

Focusing on practical applications, this volume presents 19 detailed case studies of CP-nets, primarily from industrial projects. It highlights key insights and experiences valuable for both seasoned practitioners and newcomers to constructing and analyzing large CPN models. Each chapter credits the original authors and references their published work, offering a deeper understanding of the modeled systems. The editor has refined the CP-nets for clarity and educational purposes, ensuring that the core behavior of the models remains unchanged.