Coloured Petri Nets, Vol. 1

by Kurt Jensen

This book presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). It shows how CP-nets have been developed, from being a promising theoretical mod…