Advances in Verification of Time Petri Nets and Timed Automata 1
bokomslag Advances in Verification of Time Petri Nets and Timed Automata
Data & IT

Advances in Verification of Time Petri Nets and Timed Automata

Wojciech Penczek • Agata Plrola

Pocket

2199:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 257 sidor
  • 2010
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.
  • Författare: Wojciech Penczek, Agata Plrola
  • Format: Pocket/Paperback
  • ISBN: 9783642069420
  • Språk: Engelska
  • Antal sidor: 257
  • Utgivningsdatum: 2010-11-25
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Advances in Verification of Time Petri Nets and Timed Automata

    Advances in Verification of Time Petr...

    Agata Plrola Wojciech Penczek

    Inbunden

    2199:-
  2. bokomslag Mathematical Foundations of Computer Science 1996

    Mathematical Foundations of Computer ...

    Andrzej Szalas Wojciech Penczek

    Pocket

    1479:-
  3. bokomslag Cationic Ring-Opening Polymerization of Heterocyclic Monomers

    Cationic Ring-Opening Polymerization ...

    Stanislaw Penczek, Przemyslaw Kubisa, Krzysztof Matyjaszewski

    Pocket

    749:-
  4. bokomslag The Great War

    The Great War

    Elbieta Katarzyna Dzikowska, Agata Handley, Agata Handley

    Inbunden

    1219:-
  5. bokomslag Emerging Powers in Global Governance

    Emerging Powers in Global Governance

    Agata Antkiewicz Andrew F Cooper

    Pocket

    889:-
  6. Kommande
    bokomslag Arte Povera. Dialogues

    Arte Povera. Dialogues

    Bernard Blistne, Agata Boetti, Valrie Da Costa, Sbastien Delos, Marc Donnadieu

    Pocket

    629:-
  7. Kommande
    bokomslag Urban Morphology versus Urban Redevelopment and Revitalisation

    Urban Morphology versus Urban Redevel...

    Magorzata Hanzl, Anna Agata Kantarek, Artur Zagua, Ukasz Musiaka, Tomasz Figlus

    Inbunden

    1279:-
  8. bokomslag Tendenzen der zeitgenoessischen Dramatik

    Tendenzen der zeitgenoessischen Dramatik

    Paul Martin Langner, Agata Mirecka, Miroslaw Kocur

    Inbunden

    999:-
  9. bokomslag Discourses of Violence - Violence of Discourses

    Discourses of Violence - Violence of ...

    Dirk Wiemann, Agata Stopinska, Anke Bartels, Johannes Angermueller

    Pocket

    839:-
  10. bokomslag Facing Diversity in Child Foreign Language Education

    Facing Diversity in Child Foreign Lan...

    Agata Wolanin Joanna Rokita-Jakow

    Pocket

    2009:-

Andra av samma författare

  1. bokomslag Challenging Problems and Solutions in Intelligent Systems

    Challenging Problems and Solutions in...

    Guy De Tr, Przemysaw Grzegorzewski, Janusz Kacprzyk, Jan W Owsiski, Wojciech Penczek

    Inbunden

    1479:-
  2. bokomslag Challenging Problems and Solutions in Intelligent Systems

    Challenging Problems and Solutions in...

    Guy De Tr, Przemysaw Grzegorzewski, Janusz Kacprzyk, Jan W Owsiski, Wojciech Penczek

    Pocket

    1479:-
  3. bokomslag Mathematical Foundations of Computer Science 1996

    Mathematical Foundations of Computer ...

    Andrzej Szalas Wojciech Penczek

    Pocket

    1479:-
  4. bokomslag Applications and Theory of Petri Nets

    Applications and Theory of Petri Nets

    Wojciech Penczek Johan Lilius

    Pocket

    749:-
  5. bokomslag Transactions on Petri Nets and Other Models of Concurrency XII

    Transactions on Petri Nets and Other ...

    Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang

    Pocket

    749:-
  6. bokomslag Transactions on Petri Nets and Other Models of Concurrency XIII

    Transactions on Petri Nets and Other ...

    Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek

    Pocket

    749:-