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
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
