Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642069420 - November 25, 2010
In case cover and title do not match, the title is correct

Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence 1st Ed. Softcover of Orig. Ed. 2006 edition

Price
NZ$ 280
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 15 - 25
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

257 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 25, 2010
ISBN13 9783642069420
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 257
Dimensions 156 × 234 × 15 mm   ·   412 g
Language English  
Show all

More by Wojciech Penczek

See all of Wojciech Penczek ( e.g. Paperback Book and Hardcover Book )