by Kurt Jensen
This is the third volume of a definitive work on coloured Petri nets. It contains a detailed presentation of 19 applications of CP-nets across a broad range of application areas, including a securi…