Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach (Hardcover, 2006 ed.) Loot Price: R4,732

Discovery Miles 47 320

Repayment Terms: R443 pm x 12*

Add to cart

Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach (Hardcover, 2006 ed.): Wojciech...

Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach (Hardcover, 2006 ed.)

Wojciech Penczek, Agata Polrola

Series: Studies in Computational Intelligence, 20

(sign in to rate)

Loot Price R4,732 Discovery Miles 47 320 | Repayment Terms: R443 pm x 12*

Expected to ship within 12 - 19 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Studies in Computational Intelligence, 20
Release date:	June 2006
First published:	2006
Authors:	Wojciech Penczek • Agata Polrola
Dimensions:	297 x 210 x 17mm (L x W x T)
Format:	Hardcover
Pages:	257
Edition:	2006 ed.
ISBN-13:	978-3-540-32869-8
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > General Promotions
LSN:	3-540-32869-6
Barcode:	9783540328698