Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems by Gu

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

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

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

Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets by

Coloured Petri Nets: Modelling and Validation of Concurrent Systems by Kurt Jens

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

Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools