My Wish Lists Login / Join

Studies in Computational Intelligence

A Temporal Logic Approach

By: Wojciech Penczek, Agata PÃ³lrola

Write A Review

Hardcover | 26 June 2006

At a Glance

Hardcover
292 Pages

Dimensions(cm)
23.5 x 15.24 x 1.27

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Discrete Mathematics Applied Mathematics Computing & I.T.Computer Science Artificial Intelligence Engineering & Technology Technology in General Engineering in General Mathematical Foundation

Petri nets with time	p. 3
Times automata	p. 29
From time Petri nets to timed automata	p. 51
Main formalisms for expressing temporal properties	p. 63
Abstract models	p. 89
Explicit verification	p. 155
Verification based on satisfiability checking	p. 181
Table of Contents provided by Blackwell. All Rights Reserved.

Studies in Computational Intelligence

A Temporal Logic Approach

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

Co-Intelligence

Living and Working with AI

The Role of AI in Assessment

Revolutionizing Education

Computational Experiments: Verification and Valida tion of Foundation Intelligence for Intelligent Sy stems

A Bridge between Artificial Intelligence and Social Sciences

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

AIâ"Generated Image and Video Synthesis

Deep Learning Models, Applications, and Ethical Implications in Visual Media Creation

AI Powered Digital Twins

A Guide for Humans, Engineers, and Enterprises

Reconceiving AI

The World as an Apple or a Blue Orange

Reconceiving AI

The World as an Apple or a Blue Orange

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

AI and Data Science in Medical Research

New Developments and Advances

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

Sutskever''s List

Foundational Ideas of Modern AI

Artificially Yours

Real Friendship in a World of Chatbots

AI for Public Relations

A How-To Guide for Implementation and Management

Digital Twin Pose Detection for Mechanical Equipment

Theory and Methods for Intelligent Multi-Source Pose Deduction and Reconstruction of Fully-Mechanized Mining Equipment Clusters

Mathematics of Uncertainty Applied to Global Issues

Sustainability, Mistreatment of Women, Nuclear Power, Smart Cities, Digitalization

Your Third Brain

Powering a Future of Unimagined Possibilities

Life 3.0

Being Human in the Age of Artificial Intelligence

Claude For Dummies

This product is categorised by