£83.15

Springer - Petri Nets: Theoretical Models and Analysis Methods

Name: Springer - Petri Nets: Theoretical Models and Analysis Methods
Brand: Springer
Price: 83.15 GBP
Availability: InStock

Introduction to Programming

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£83 today · all-time low £83 (Mar 2026) · usually the usual

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 31 days • 31 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 31 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £83 (16 days, 51.6%)

Price range: £83 - £87

Price levels: 2 different prices over 31 days

Description

Master the fundamentals of concurrent systems with this comprehensive guide from Springer. This book offers a deep look into Petri net theory and essential model checking methods used to analyze complex systems. Readers gain a clear understanding of both interleaving and concurrency semantics within elementary net systems. This text covers vital net structures such as invariants, repetitive vectors, siphons, and traps. It provides a detailed breakdown of classical net subclasses, including state machines, marked graphs, free-choice nets, and weakly persistent nets. By studying these models, you can better understand and manage basic properties like reachability, liveness, deadlock, and soundness. Designed for those studying computing and programming, this resource serves as a foundational tool for analyzing high-level Petri nets. Whether you are researching concurrency semantics or looking to apply model checking to system design, this book provides the theoretical framework necessary for advanced analysis.

Key Features

Comprehensive coverage of Petri net theory including interleaving and concurrency semantics for elementary net systems.

Detailed analysis of important net structures such as invariants, repetitive vectors, siphons, and traps.

Exploration of classical net subclasses including state machines, marked graphs, and free-choice nets.

In-depth study of essential system properties like reachability, liveness, deadlock, and soundness.

Instruction on Petri net-based model checking methods to assist in the analysis of concurrent systems.

Technical insights into various net types such as asymmetric-choice, normal, and weakly persistent nets.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 9811963088
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 04 November 2022
Listed Since: 28 July 2022

Barcode

No barcode data available

Springer - Petri Nets: Theoretical Models and Analysis Methods

About as cheap as it gets. The only time it was cheaper was 2 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods in Computer Science (Textbooks in Mathematics)

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

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

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

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

Formal Methods in Computer Science (Textbooks in Mathematics)

Understanding Concurrent Systems (Texts in Computer Science)

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

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

Real-Time Embedded Systems (Quantitative Software Engineering Series)

Introduction to Discrete Event Systems

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

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)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Real-Time Systems: Scheduling, Analysis, and Verification

Esquemas de Diagnóstico de Faltas para Sistemas de Eventos Discretos: Diagnosticabilidad y Esquemas de Detección y Localización de Faltas en Sistemas de Eventos Discretos con Redes de Petri

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Diagnosis and Fault-Tolerant Control

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)

Modeling Companion for Software Practitioners

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

Temporal Verification of Reactive Systems: Safety