| can't find it |

| browse books |

Textbooks

books

| book details |

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

By (author) Wojciech Penczek, By (author) Agata PÃ³lrola

| on special |

normal price: R 6 498.95

Price: R 6 173.95

| add to trolley |

| book description |

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.

| product details |

Normally shipped | Available from overseas. Usually dispatched in 14 days
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 25 Nov 2010
Language |
Format | Paperback / softback
Pages | 257
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-6420-6942-0
Readership Age |
BISAC | technology / general

| other options |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Correspondent

Virginia Evans
Hardback
288 pages

Enquiries only

| more |

| enquire |

Theory & Practice

Michelle de Kretser
Hardback
192 pages
was: R 422.95
now: R 401.95
Available from overseas. Usually dispatched in 14 days

| more |

| add to trolley |

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages
was: R 520.95
now: R 494.95
Usually dispatched in 3 to 6 weeks as supplier is out of stock

An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

| more |

| add to trolley |

Exiles: Times book of the month 'Stanley Kubrick meets MR James'

Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
Forthcoming

A terrifying locked-room mystery set in a remote outpost on Mars.

| more |

| add to trolley |

Copyright 2026 | terms and conditions