Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Algebras of coloured/ Petri nets: and their applications to modelling verification

Petri Nets for Modeling of Large Discrete Systems (Asset Analytics)

Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With...

Threat Modeling in Modern Software Engineering: A Comprehensive Guide to Identifying, Analyzing,...