Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With GPenSIM (Asset Analytics)

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

Modeling of Combustion Systems: A Practical Approach

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

Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets