£66.68

It has never been this cheap. We have no record of a lower price.

£67 today · cheaper than every other day in the last 3 months

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

View at Amazon

Price History & Forecast

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

Last 50 days · 50 data points (no recent data)

Historical
Generating forecast…
£66.68 £63.35 £64.68 £66.01 £67.35 £68.68 £70.01 25 July 2026 06 August 2026 18 August 2026 30 August 2026 12 September 2026
View at Amazon ↗

Price data last checked 41 day(s) ago - refreshing...

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 Distribution

Price distribution over 50 days • 1 price levels

Days at Price
50 days 0 13 25 38 50 £67 Days at Price

Price Analysis

Most common price: £67 (50 days, 100.0%)

Price range: £67 - £67

Price levels: 1 different prices over 50 days

Description

Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems. The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
15 December 2010
Listed Since
01 October 2010

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£37.69 06 Oct 2026
Lectures on Petri Nets II: Applications: Advances in Petri Nets: 1492 (Lecture Notes in Computer Science, 1492)
97% match

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

Springer

£37.64 02 Oct 2026
Discrete, Continuous, and Hybrid Petri Nets
97% match

Discrete, Continuous, and Hybrid Petri Nets

Springer

£124.12 04 Sep 2026
Petri Nets in Flexible and Agile Automation: 310 (The Springer International Series in Engineering and Computer Science, 310)
97% match

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

Springer

£144.47 24 Sep 2026
Timed Petri Nets Theory Application - Discrete Event Systems
97% match

Timed Petri Nets Theory Application - Discrete Event Systems

Springer

£174.99 14 Oct 2026
Supervision of Petri Nets: 13 (The International Series on Discrete Event Dynamic Systems, 13)
97% match

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

Springer

£146.78 11 Sep 2026
Timed Petri Nets: Theory and Application: 9 (The International Series on Discrete Event Dynamic Systems, 9)
97% match

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

Springer

£159.09 03 Oct 2026
Supervisory Control of Discrete Event Systems Using Petri Nets
97% match

Supervisory Control of Discrete Event Systems Using Petri Nets

Springer

£108.31 05 Oct 2026
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 (Monographs in Theoretical Computer Science. An EATCS Series)
96% match

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

Springer

£76.05 03 Oct 2026
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 (Monographs in Theoretical Computer Science. An EATCS Series)
96% match

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

Springer

£74.12 25 Sep 2026
Springer Coloured Petri Nets - Theoretical Computer Science
96% match

Springer Coloured Petri Nets - Theoretical Computer Science

Springer

£102.49 02 Oct 2026
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies
96% match

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

Springer

£57.32 30 Sep 2026
Supervisory Control of Discrete Event Systems Using Petri Nets: 8 (The International Series on Discrete Event Dynamic Systems, 8)
96% match

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

Springer

£50.57 24 Sep 2026
PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING
96% match

PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

World Scientific Publishing Company

£61.32 02 Oct 2026
Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With GPenSIM (Asset Analytics)
96% match

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

Springer

£97.00 04 Sep 2026
Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, ... (Lecture Notes in Computer Science, 14628)
96% match

Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, ... (Lecture Notes in Computer Science, 14628)

Springer

£87.28 18 Sep 2026
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)
96% match

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)

Springer

£78.65 21 Sep 2026
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies
96% match

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

Springer

£39.77 22 Sep 2026
Formal Methods in Computer Science (Textbooks in Mathematics)
96% match

Formal Methods in Computer Science (Textbooks in Mathematics)

CRC Press

£77.63 17 Sep 2026
Modeling, Simulation, And Control Of Flexible Manufacturing Systems: A Petri Net Approach (Series in Intelligent Control and Intelligent Automation): 6
96% match

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

World Scientific Publishing Company

£74.00 11 Sep 2026
Clans of Petri Nets: Verification of protocols and performance evaluation of networks
96% match

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

LAP Lambert Academic Publishing

£64.00 20 Sep 2026
Syntax and Semantics of Petri Nets: 63 (Cambridge Tracts in Theoretical Computer Science, Series Number 63)
96% match

Syntax and Semantics of Petri Nets: 63 (Cambridge Tracts in Theoretical Computer Science, Series Number 63)

Cambridge University Press

£93.91 09 Oct 2026
Systems Dependability Assessment: Benefits of Petri Net Models: 1 (Systems and Industrial Engineering)
96% match

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

Wiley

£107.00 18 Sep 2026
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
96% match

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

Birkhauser

£62.98 09 Sep 2026