Theory of Computation

8 Open Access Books

140 Authors and Editors

202 Web of Science Citations

261 Dimensions Citations

Most cited chapters in this category

Chapter titleDownloads
1. Modelling and Analysis of Traffic Light Control Systems Using Timed Coloured Petri nets

By Yi-Sheng Huang and Ta-Hsiang Chung

Part of book: Petri Nets Applications

4429
2. A GPU Accelerated High Performance Cloud Computing Infrastructure for Grid Computing Based Virtual Environmental Laboratory

By Giulio Giunta, Raffaele Montella, Giuliano Laccetti, Florin Isaila and Francisco Javier García Blas

Part of book: Advances in Grid Computing

3710
3. A Petri Net-Based Approach to the Quantification of Data Center Dependability

By Gustavo Callou, Paulo Maciel, Dietmar Tutsch, Julian Araújo, João Ferreira and Rafael Souza

Part of book: Petri Nets - Manufacturing and Computer Science

2574

Most downloaded chapters in this category in last 30 days

Chapter title
1. Using Grid Computing for Constructing Ternary Covering Arrays

By Himer Avila-George, Jose Torres-Jimenez, Abel Carrión and Vicente Hernández

Part of book: Grid Computing - Technology and Applications, Widespread Coverage and New Horizons

2. Cellular Learning Automata and Its Applications

By Amir Hosein Fathy Navid and Amir Bagheri Aghababa

Part of book: Emerging Applications of Cellular Automata

3. The Role of Public Visual Art in Urban Space Recognition

By Anna Januchta-Szostak

Part of book: Cognitive Maps

4. Construction and Application of Learning Petri Net

By Liangbing Feng, Masanao Obayashi, Takashi Kuremoto and Kunikazu Kobayashi

Part of book: Petri Nets - Manufacturing and Computer Science

5. A GPU Accelerated High Performance Cloud Computing Infrastructure for Grid Computing Based Virtual Environmental Laboratory

By Giulio Giunta, Raffaele Montella, Giuliano Laccetti, Florin Isaila and Francisco Javier García Blas

Part of book: Advances in Grid Computing

6. Control Interpreted Petri Nets - Model Checking and Synthesis

By Iwona Grobelna

Part of book: Petri Nets - Manufacturing and Computer Science

7. GPenSIM: A New Petri Net Simulator

By Reggie Davidrajuh

Part of book: Petri Nets Applications

8. Interactive Maps on Variant Phase Spaces– From Measurements - Micro Ensembles to Ensemble Matrices on Statistical Mechanics of Particle Models

By Jeffrey Zheng, Christian Zheng and Tosiyasu Kunii

Part of book: Emerging Applications of Cellular Automata

9. Cellular Automata for Pattern Recognition

By Sartra Wongthanavasu and Jetsada Ponkaew

Part of book: Emerging Applications of Cellular Automata

10. Using Open Source Desktop Grids in Scientific Computing and Visualization

By Zoran Constantinescu and Monica Vladoiu

Part of book: Advances in Grid Computing