Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
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,459
Discovery Miles 44 590
Repayment Terms: R418 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,459 Discovery Miles 44 590 | Repayment Terms: R418 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working 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.

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

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners