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

£81.45

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

Name: Syntax and Semantics of Petri Nets: 63 (Cambridge Tracts in Theoretical Computer Science, Series Number 63)
Brand: Cambridge University Press
Price: 81.45 GBP
Availability: InStock

Languages & Tools

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

£81 today · usual range £59–£95 · best ever £59

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 44 days · 44 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 44 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £81 (26 days, 59.1%)

Price range: £59 - £95

Price levels: 5 different prices over 44 days

Description

Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying three classes of nets that model (i) sequential systems, (ii) non-communicating parallel systems, and (iii) communicating parallel systems. A decidable and causality respecting behavioral equivalence is presented for each class, followed by a modal logic characterization for each equivalence. The author then introduces a suitable process algebra for the corresponding class of nets and proves that the behavioral equivalence proposed for each class is a congruence for the operator of the corresponding process algebra. Finally, an axiomatization of the behavioral congruence is proposed. The theory is introduced step by step, with ordinary-language explanations and examples provided throughout, to remain accessible to readers without specialized training in concurrency theory or formal logic. Exercises with solutions solidify understanding, and the final chapter hints at extensions of the theory.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1009613286
Category: Books > Subjects > Computing & Internet > Programming > Languages & Tools
Domain: Amazon UK
Release Date: 25 September 2025
Listed Since: 03 February 2025

Barcode

No barcode data available

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

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

Essentials in Petri Nets: Information Technology and Computers

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)

Petri Nets in Systems Biology: Methodology and Applications (Advances in Experimental Medicine and Biology, 1508)

Principle of Petri Nets

Software Synthesis for Energy-Constrained Hard Real-Time Systems: A Petri net-based approach

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

Business Modelling Using Petri Nets Approach: Preserving ecosystem services by Community-based financial participation

Petri Nets for Modeling Complex Discrete-Event Systems: An Approach Based on GPenSIM (Asset Analytics)

Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

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

Transactions on Petri Nets and Other Models of Concurrency XVII: 14150 (Lecture Notes in Computer Science, 14150)

Algebras of coloured/ Petri nets: and their applications to modelling and verification

Petri Nets - Manufacturing and Computer Science

Transactions on Petri Nets and Other Models of Concurrency XVI: 13220 (Lecture Notes in Computer Science, 13220)

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

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

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

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

Les réseaux de Petri appliqués à l'e-marketing: Comment modéliser l'interactivité des internautes, les réseaux et le marketing viral sur Internet? (Omn.Univ.Europ.)

Springer Coloured Petri Nets Volume 1 - Computer Science Book

Discrete, Continuous, and Hybrid Petri Nets

Paradigms of Concurrency: Observations, Behaviours, and Systems ― a Petri Net View: 1020 (Studies in Computational Intelligence, 1020)

Petri Nets and Manufacturing Systems

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