Agata Pólrola – författare
Visar alla böcker från författaren Agata Pólrola. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 20 - Studies in Computational Intelligence
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Inbunden, Engelska, 2006
1 601 kr
Skickas inom 10-15 vardagar
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.
Del 20 - Studies in Computational Intelligence
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Häftad, Engelska, 2010
1 601 kr
Skickas inom 10-15 vardagar
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.