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.61 GBP
Availability: InStock

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£46 today · usual range £0–£0 · best ever £43

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 626 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £46 (568 days, 90.7%)

Price range: £43 - £54

Price levels: 4 different prices over 626 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

This is the usual price. Wait for it to drop, or tell us your number.

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)

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

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

Lectures on Petri Nets II: Applications: Advances in Petri Nets: 1492 (Lecture Notes in Computer Science, 1492)

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

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

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

Springer - Petri Nets: Theoretical Models and Analysis Methods

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

Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ... 1981: 52 (Informatik-Fachberichte, 52)

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

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems: 204 (The Springer International Series in Engineering and Computer Science, 204)

Supervision of Petri Nets: 13 (The International Series on Discrete Event Dynamic Systems, 13)

Springer Coloured Petri Nets Volume 1 - Computer Science Book

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

Clans of Petri Nets: Verification of protocols and performance evaluation of networks

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

Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective (IEEE Press Series on Systems Science and Engineering)

Wiley Performance Analysis of Communication Systems Book

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

Formal Methods in Computer Science (Textbooks in Mathematics)

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

Understanding Concurrent Systems (Texts in Computer Science)

PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING