Studiebog

Advances in Verification of Time Petri Nets and Timed Automata

- A Temporal Logic Approach

Bog E-bog

Format
Bog, hardback
Engelsk

Indgår i serie
Studies in Computational Intelligence

Normalpris: kr. 1.109,95

Medlemspris: kr. 1.054,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
Forventet levering: 17-10-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal257
Udgivelsesdato26-06-2006
ISBN139783540328698
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatHardback

Størrelse og vægt

10 cm

21 cm

29,7 cm

Advances in Verification of Time Petri Nets and Timed Automata

- A Temporal Logic Approach

Findes i disse kategorier...

Se andre, der handler om...