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

2439:-

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

Uppskattad leveranstid 7-11 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

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

    Mathematical Foundations of Computer ...

    Andrzej Szalas Wojciech Penczek

    Pocket

    1999:-
  3. bokomslag The Great War

    The Great War

    Elbieta Katarzyna Dzikowska, Agata Handley, Agata Handley

    Inbunden

    1219:-
  4. bokomslag Cationic Ring-Opening Polymerization of Heterocyclic Monomers

    Cationic Ring-Opening Polymerization ...

    Stanislaw Penczek, Przemyslaw Kubisa, Krzysztof Matyjaszewski

    Pocket

    1009:-
  5. bokomslag Emerging Powers in Global Governance

    Emerging Powers in Global Governance

    Agata Antkiewicz Andrew F Cooper

    Pocket

    869:-
  6. bokomslag Hier Ist Mein Zuhause: Gegenwartsdrama in Mitteleuropa

    Hier Ist Mein Zuhause: Gegenwartsdram...

    Agata Mirecka Anna Majkiewicz

    Inbunden

    859:-
  7. bokomslag Tendenzen der zeitgenoessischen Dramatik

    Tendenzen der zeitgenoessischen Dramatik

    Paul Martin Langner, Agata Mirecka, Miroslaw Kocur

    Inbunden

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

    Discourses of Violence - Violence of ...

    Dirk Wiemann, Agata Stopinska, Anke Bartels, Johannes Angermueller

    Pocket

    839:-
  9. bokomslag Effectively Managing Ethical Dimensions into Business Education

    Effectively Managing Ethical Dimensio...

    Agata Stachowicz-Stanusch Charles Wankel

    Inbunden

    1879:-
  10. Kommande
    bokomslag Krigarhjärta

    Krigarhjärta

    Lars Wilderäng

    Inbunden

    249:- (289:-)

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

    1999:-
  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

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

    Mathematical Foundations of Computer ...

    Andrzej Szalas Wojciech Penczek

    Pocket

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

    Applications and Theory of Petri Nets

    Wojciech Penczek Johan Lilius

    Pocket

    739:-
  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

    1009:-
  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

    1009:-