Title: Coloured Petri Nets
Subtitle: Modelling and Validation of Concurrent Systems
Subjects: Petri nets, Computer simulation, Computer network architectures, Computer science, Software engineering