Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Description:
This textbook introduces the constructs of Coloured Petri Nets (CPN) modelling language and presents the related analysis methods in detail. It also provides a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.