• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Naturvetenskap och teknik
      2. Teknik och industri
      3. Teknik: allmänt

      Advances in Verification of Time Petri Nets and Timed Automata

      A Temporal Logic Approach

      AvWojciech Penczek,Agata Pólrola

      Inbunden, Engelska, 2006

      Del 20 i serien Studies in Computational Intelligence

      1 634 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Fler format och utgåvor

      Häftad

      1 634 kr

      Beskrivning

      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

      • Utgivningsdatum:2006-06-26
      • Mått:210 x 297 x 21 mm
      • Vikt:606 g
      • Format:Inbunden
      • Språk:Engelska
      • Serie:Studies in Computational Intelligence
      • Antal sidor:257
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540328698

      Utforska kategorier

      • Teknik: allmänt inom Naturvetenskap och teknik
      • Matematik inom Naturvetenskap och teknik
      • Artificiell intelligens inom Data och IT

      Innehållsförteckning

      • Specifying Timed Systems and Their Properties.- Petri Nets with Time.- Timed Automata.- From Time Petri Nets to Timed Automata.- Main Formalisms for Expressing Temporal Properties.- Model Generation and Verification.- Abstract Models.- Explicit Verification.- Verification Based on Satisfiability Checking.
      Hoppa över listan

      Mer från samma författare

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny - Challenging Problems and Solutions in Intelligent Systems, Inbunden

      Challenging Problems and Solutions in Intelligent Systems

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny

      Inbunden, 2016

      1 124 kr

      Slawomir Zadrozny, Wojciech Penczek, Jan W. Owsinski, Janusz Kacprzyk, Przemyslaw Grzegorzewski, Guy de Tre - Challenging Problems and Solutions in Intelligent Systems, E-bok

      Challenging Problems and Solutions in Intelligent Systems

      Slawomir Zadrozny, Wojciech Penczek, Jan W. Owsinski, Janusz Kacprzyk, Przemyslaw Grzegorzewski, Guy de Tre

      E-bok
      2016

      1 455 kr

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny - Challenging Problems and Solutions in Intelligent Systems, Häftad

      Challenging Problems and Solutions in Intelligent Systems

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny

      Häftad, 2018

      1 124 kr

      Agata Polrola, Wojciech Penczek - Advances in Verification of Time Petri Nets and Timed Automata, E-bok

      Advances in Verification of Time Petri Nets and Timed Automata

      Agata Polrola, Wojciech Penczek

      E-bok
      2007

      2 044 kr

      Wojciech Penczek, Andrzej Szalas - Mathematical Foundations of Computer Science 1996, Häftad

      Mathematical Foundations of Computer Science 1996

      Wojciech Penczek, Andrzej Szalas

      Häftad, 1996

      1 124 kr

      Johan Lilius, Wojciech Penczek - Applications and Theory of Petri Nets, Häftad

      Applications and Theory of Petri Nets

      Johan Lilius, Wojciech Penczek

      Häftad, 2010

      566 kr

      Wojciech Penczek, Johan Lilius - Applications and Theory of Petri Nets, E-bok

      Applications and Theory of Petri Nets

      Wojciech Penczek, Johan Lilius

      E-bok
      2010

      732 kr

      Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang - Transactions on Petri Nets and Other Models of Concurrency XII, Häftad

      Transactions on Petri Nets and Other Models of Concurrency XII

      Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang

      Häftad, 2017

      566 kr

      Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency XII, E-bok

      Transactions on Petri Nets and Other Models of Concurrency XII

      Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny

      E-bok
      2017

      732 kr

      Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek - Transactions on Petri Nets and Other Models of Concurrency XIII, Häftad

      Transactions on Petri Nets and Other Models of Concurrency XIII

      Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek

      Häftad, 2018

      549 kr

      Hoppa över listan

      Mer från samma serie

      Nguyen Ngoc Thach, Doan Thanh Ha, Nguyen Duc Trung, Vladik Kreinovich - Prediction and Causality in Econometrics and Related Topics, Inbunden

      Prediction and Causality in Econometrics and Related Topics

      Nguyen Ngoc Thach, Doan Thanh Ha, Nguyen Duc Trung, Vladik Kreinovich

      Inbunden, 2021

      2 246 kr

      Jonathan Lawry - Modelling and Reasoning with Vague Concepts, Inbunden

      Modelling and Reasoning with Vague Concepts

      Jonathan Lawry

      Inbunden, 2006

      1 127 kr

      Jonathan Lawry - Modelling and Reasoning with Vague Concepts, Häftad
      Del 12

      Modelling and Reasoning with Vague Concepts

      Jonathan Lawry

      Häftad, 2014

      1 094 kr

      María Eugenia Cornejo, László T. Kóczy, Jesús Medina, Antonio Eduardo De Barros Ruano - Trends in Mathematics and Computational Intelligence, Inbunden

      Trends in Mathematics and Computational Intelligence

      María Eugenia Cornejo, László T. Kóczy, Jesús Medina, Antonio Eduardo De Barros Ruano

      Inbunden, 2018

      1 094 kr

      Boris Kryzhanovsky, Witali Dunin-Barkowski, Vladimir Redko, Yury Tiumentsev - Advances in Neural Computation, Machine Learning, and Cognitive Research II, Inbunden

      Advances in Neural Computation, Machine Learning, and Cognitive Research II

      Boris Kryzhanovsky, Witali Dunin-Barkowski, Vladimir Redko, Yury Tiumentsev

      Inbunden, 2018

      2 119 kr

      Andrzej Obuchowicz - Stable Mutations for Evolutionary Algorithms, Inbunden

      Stable Mutations for Evolutionary Algorithms

      Andrzej Obuchowicz

      Inbunden, 2018

      1 126 kr

      László T. Kóczy, Jesús Medina-Moreno, Eloísa Ramírez-Poussa - Interactions Between Computational Intelligence and Mathematics Part 2, Inbunden

      Interactions Between Computational Intelligence and Mathematics Part 2

      László T. Kóczy, Jesús Medina-Moreno, Eloísa Ramírez-Poussa

      Inbunden, 2018

      1 094 kr

      Aboul Ella Hassanien - Machine Learning Paradigms: Theory and Application, Inbunden

      Machine Learning Paradigms: Theory and Application

      Aboul Ella Hassanien

      Inbunden, 2018

      1 798 kr

      Plamen P. Angelov, Xiaowei Gu - Empirical Approach to Machine Learning, Inbunden

      Empirical Approach to Machine Learning

      Plamen P. Angelov, Xiaowei Gu

      Inbunden, 2018

      1 910 kr

      Mahmoud Hassaballah, Khalid M. Hosny - Recent Advances in Computer Vision, Inbunden

      Recent Advances in Computer Vision

      Mahmoud Hassaballah, Khalid M. Hosny

      Inbunden, 2019

      1 686 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Wojciech Penczek, Agata Pólrola - Advances in Verification of Time Petri Nets and Timed Automata, Häftad
      Del 20

      Advances in Verification of Time Petri Nets and Timed Automata

      Wojciech Penczek, Agata Pólrola

      Häftad, 2010

      1 634 kr

      Agata Polrola, Wojciech Penczek - Advances in Verification of Time Petri Nets and Timed Automata, E-bok

      Advances in Verification of Time Petri Nets and Timed Automata

      Agata Polrola, Wojciech Penczek

      E-bok
      2007

      2 044 kr

      Johan Lilius, Wojciech Penczek - Applications and Theory of Petri Nets, Häftad

      Applications and Theory of Petri Nets

      Johan Lilius, Wojciech Penczek

      Häftad, 2010

      566 kr

      Slawomir Zadrozny, Wojciech Penczek, Jan W. Owsinski, Janusz Kacprzyk, Przemyslaw Grzegorzewski, Guy de Tre - Challenging Problems and Solutions in Intelligent Systems, E-bok

      Challenging Problems and Solutions in Intelligent Systems

      Slawomir Zadrozny, Wojciech Penczek, Jan W. Owsinski, Janusz Kacprzyk, Przemyslaw Grzegorzewski, Guy de Tre

      E-bok
      2016

      1 455 kr

      Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang - Transactions on Petri Nets and Other Models of Concurrency XII, Häftad

      Transactions on Petri Nets and Other Models of Concurrency XII

      Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang

      Häftad, 2017

      566 kr

      Wojciech Penczek, Andrzej Szalas - Mathematical Foundations of Computer Science 1996, Häftad

      Mathematical Foundations of Computer Science 1996

      Wojciech Penczek, Andrzej Szalas

      Häftad, 1996

      1 124 kr

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny - Challenging Problems and Solutions in Intelligent Systems, Inbunden

      Challenging Problems and Solutions in Intelligent Systems

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny

      Inbunden, 2016

      1 124 kr

      Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency XII, E-bok

      Transactions on Petri Nets and Other Models of Concurrency XII

      Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny

      E-bok
      2017

      732 kr

      Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek - Transactions on Petri Nets and Other Models of Concurrency XIII, Häftad

      Transactions on Petri Nets and Other Models of Concurrency XIII

      Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek

      Häftad, 2018

      549 kr

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny - Challenging Problems and Solutions in Intelligent Systems, Häftad

      Challenging Problems and Solutions in Intelligent Systems

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny

      Häftad, 2018

      1 124 kr