Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

Kathleen Jensen , Grzegorz Rozenberg , Arto Salomaa