Springer Coloured Petri Nets - Theoretical Computer Science

Explore the fundamentals of high-level Petri nets with this comprehensive volume from Springer. Part of the Monographs in Theoretical Computer Science series, this book provides a systematic introduction to Coloured Petri Nets, covering basic concepts, analysis methods, and practical applications. The text offers detailed explanations and motivation through various examples to help readers understand complex modeling. Written by a leading authority in the field and a member of the International Conference on Application and Theory of Petri Nets steering committee, this volume serves as an essential resource for students and professionals in computing and hardware studies.