Hoppa till sidans huvudinnehåll

Del 20 i serien Studies in Computational Intelligence

Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

Inbunden, Engelska, 2006

AvWojciech Penczek,Agata Pólrola

2 099 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

2 099 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.

Produktinformation

  • Utgivningsdatum2006-06-26
  • Mått210 x 297 x 21 mm
  • Vikt606 g
  • FormatInbunden
  • SpråkEngelska
  • SerieStudies in Computational Intelligence
  • Antal sidor257
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540328698

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Mer från samma serie

Hoppa över listan

Du kanske också är intresserad av