£108.77

Springer Advances in Verification of Time Petri Nets and TA

Name: Springer Advances in Verification of Time Petri Nets and TA
Brand: Springer
Price: 108.77 GBP
Availability: InStock

AI & Machine Learning

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

£109 today · all-time low £108 (Jun 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 39 days · 39 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 39 days • 1 price levels

Days at Price

Price Analysis

Most common price: £109 (39 days, 100.0%)

Price range: £109 - £109

Price levels: 1 different prices over 39 days

Description

Explore the fundamentals of real-time systems with this monograph from Springer. This text provides a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs), which are among the most widely used models in the field of computer science. Readers will gain a deep understanding of the methods used to translate time Petri nets to timed automata. The content focuses on translations that correspond to the specific semantics of time Petri nets, demonstrating how to associate clocks with various components of the nets. This approach uses temporal logic to enhance the verification process. Whether you are researching real-time system modeling or studying computational intelligence, this volume offers the technical foundation needed to understand these essential models. It serves as a specialized resource for those working with complex temporal logic and automated verification methods.

Key Features

Comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) for real-time systems modeling.

Detailed analysis of methods for translating time Petri nets to timed automata.

Technical focus on translations that maintain the specific semantics of time Petri nets.

Instruction on associating clocks with different components of the nets for accurate modeling.

Part of the Studies in Computational Intelligence series (Volume 20) from Springer.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642069428
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 25 November 2010
Listed Since: 14 June 2010

Barcode

No barcode data available

Springer Advances in Verification of Time Petri Nets and TA

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Springer - Petri Nets: Theoretical Models and Analysis Methods

Real-Time Systems: Scheduling, Analysis, and Verification

Principles of Model Checking

Formal Methods in Computer Science (Textbooks in Mathematics)

Computation Engineering: Applied Automata Theory and Logic

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)

Temporal Verification of Reactive Systems: Safety

Temporal Logic - World Scientific Publishing Company Book

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

The Unknown Component Problem: Theory and Applications

An Introduction to Practical Formal Methods Using Temporal Logic

Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)

Computation Engineering: Applied Automata Theory and Logic

Formal Methods in Computer Science (Textbooks in Mathematics)

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)

Dynamic Analysis of Petri Net-Based Discrete Systems: 356 (Lecture Notes in Control and Information Sciences, 356)

Time & Logic: A Computational Approach (Routledge Revivals)

Real-Time Systems: Formal Specification and Automatic Verification

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)

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

Real-Time Embedded Systems (Quantitative Software Engineering Series)

Logic and Language Models for Computer Science: Third Edition

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)