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 135 kr
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 649 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
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
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Challenging Problems and Solutions in Intelligent Systems
Slawomir Zadrozny, Wojciech Penczek, Jan W. Owsinski, Janusz Kacprzyk, Przemyslaw Grzegorzewski, Guy de Tre
E-bok
20161 470 kr
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 139 kr
Advances in Verification of Time Petri Nets and Timed Automata
Agata Polrola, Wojciech Penczek
E-bok
20072 065 kr
Mathematical Foundations of Computer Science 1996
Wojciech Penczek, Andrzej Szalas
Häftad, 1996
1 135 kr
Transactions on Petri Nets and Other Models of Concurrency XII
Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
Häftad, 2017
571 kr
Transactions on Petri Nets and Other Models of Concurrency XII
Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny
E-bok
2017739 kr
Transactions on Petri Nets and Other Models of Concurrency XIII
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Häftad, 2018
554 kr
Hoppa över listan
Mer från samma serie
Deep Learning in Computational Mechanics
Stefan Kollmannsberger, Davide D'Angella, Moritz Jokeit, Leon Herrmann
Häftad, 2022
719 kr
Prediction and Causality in Econometrics and Related Topics
Nguyen Ngoc Thach, Doan Thanh Ha, Nguyen Duc Trung, Vladik Kreinovich
Inbunden, 2021
2 262 kr
Del 12
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 102 kr
Advances in Neural Computation, Machine Learning, and Cognitive Research II
Boris Kryzhanovsky, Witali Dunin-Barkowski, Vladimir Redko, Yury Tiumentsev
Inbunden, 2018
2 135 kr
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 102 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Del 20
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Pólrola
Häftad, 2010
1 649 kr
Advances in Verification of Time Petri Nets and Timed Automata
Agata Polrola, Wojciech Penczek
E-bok
20072 065 kr
Challenging Problems and Solutions in Intelligent Systems
Slawomir Zadrozny, Wojciech Penczek, Jan W. Owsinski, Janusz Kacprzyk, Przemyslaw Grzegorzewski, Guy de Tre
E-bok
20161 470 kr
Transactions on Petri Nets and Other Models of Concurrency XII
Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
Häftad, 2017
571 kr
Mathematical Foundations of Computer Science 1996
Wojciech Penczek, Andrzej Szalas
Häftad, 1996
1 135 kr
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 135 kr
Transactions on Petri Nets and Other Models of Concurrency XII
Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny
E-bok
2017739 kr
Transactions on Petri Nets and Other Models of Concurrency XIII
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Häftad, 2018
554 kr