Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)

Name: Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)
Author: Wojciech Penczek, Agata PÃ³lrola
ISBN: 9783642069420

Author Wojciech Penczek, Agata PÃ³lrola

Publisher Springer

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

189.00 USD

🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $153.54

✓ Usually ships in 24 hours

Book Details

Author(s)Wojciech Penczek, Agata PÃ³lrola

PublisherSpringer

ISBN / ASIN3642069428

ISBN-139783642069420

AvailabilityUsually ships in 24 hours

Sales Rank6,799,522

MarketplaceUnited States 🇺🇸

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.