Coloured Petri Nets: Modelling and Validation of Concurrent Systems - Image 1

£45.61

Springer Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Name: Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Brand: Springer
Price: 45.66 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 31 days • 31 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 31 days • 1 price levels

Days at Price

Price Analysis

Most common price: £46 (31 days, 100.0%)

Price range: £46 - £46

Price levels: 1 different prices over 31 days

Description

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences. In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies that illustrate the practical use of CPN modelling and validation for design, specification, simulation, verification and implementation in various application domains. Their presentation primarily aims at readers interested in the practical use of CPN. Thus all concepts and constructs are first informally introduced through examples and then followed by formal definitions (which may be skipped). The book is ideally suitable for a one-semester course at an advanced undergraduate or graduate level, and through its strong application examples can also serve for self-study. An accompanying website offers additional material such as slides, exercises and project proposals. Book website: http://www.cs.au.dk/CPnets/cpnbook/

Product Specifications

Brand: Springer
Format: paperback
ASIN: 364242581X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 02 November 2014
Listed Since: 04 November 2014

Barcode

No barcode data available

Springer Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Springer - Petri Nets: Theoretical Models and Analysis Methods

System Modeling and Control with Resource-Oriented Petri Nets: 35 (Automation and Control Engineering)

Timed Petri Nets: Theory and Application: 9 (The International Series on Discrete Event Dynamic Systems, 9)

Discrete, Continuous, and Hybrid Petri Nets

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Springer Coloured Petri Nets Volume 1 - Computer Science Book

Understanding Concurrent Systems (Texts in Computer Science)

Petri Net Synthesis (Texts in Theoretical Computer Science. An EATCS Series)

Systems Dependability Assessment: Benefits of Petri Net Models: 1 (Systems and Industrial Engineering)

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 (Monographs in Theoretical Computer Science. An EATCS Series)

Concurrent Programming: Algorithms, Principles, and Foundations

Supervisory Control of Discrete Event Systems Using Petri Nets: 8 (The International Series on Discrete Event Dynamic Systems, 8)

Lectures on Petri Nets I: Basic Models: Advances in Petri Nets: 1491 (Lecture Notes in Computer Science, 1491)

Robust Modelling and Simulation: Integration of SIMIO with Coloured Petri Nets

Principles of Cyber-Physical Systems

Self-organizing Coalitions for Managing Complexity: Agent-based Simulation of Evolutionary Game Theory Models using Dynamic Social Networks for ... (Emergence, Complexity and Computation, 29)

Agent-Based Business Process Simulation: A Primer with Applications and Examples

Springer Advances in Verification of Time Petri Nets and TA

Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Advances in Industrial Control)

Modeling, Simulation, And Control Of Flexible Manufacturing Systems: A Petri Net Approach (Series in Intelligent Control and Intelligent Automation): 6

Deadlock Resolution in Computer-Integrated Systems

Petri Nets in Flexible and Agile Automation: 310 (The Springer International Series in Engineering and Computer Science, 310)