Title
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence,New
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
- Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
Product DescriptionThis monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of realtime 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.From the Back CoverThis monograph presents a comprehensive introduction to timed automata (TA) andtime Petri nets (TPNs) which belong to the most widely used models of realtimesystems. Some of the existing methods of translating time Petri nets to timedautomata are presented, with a focus on the translations that correspond to thesemantics of time Petri nets, associating clocks with various components of thenets. 'Advances in Verification of Time Petri Nets and Timed Automata A TemporalLogic Approach' introduces timed and untimed temporal specification languagesand gives model abstraction methods based on state class approaches for TPNsand on partition refinement for TA. Moreover, the monograph presents a recent progressin the development of two model checking methods, based on either exploitingabstract state spaces or on application of SATbased symbolic techniques.The book addresses research scientists as well as graduate and PhD studentsin computer science, logics, and engineering of real time systems.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.