Algebras of Coloured/ Petri Nets

This book surveys more than ten years of research work about a framework of composable coloured Petri nets. This framework is organised around a core model of coloured Petri nets that can be extended with various features: control flow, synchronou...