Theory of Computation

8 Open Access Books

140 Authors and Editors

211 Web of Science Citations

283 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

4628
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

4121
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

2989

Most downloaded chapters in this category in last 30 days

Chapter title
1. Boolean Petri Nets

By Sangita Kansal, Mukti Acharya and Gajendra Pratap Singh

Part of book: Petri Nets - Manufacturing and Computer Science

2. Subject-formal Methods Based on Cognitive Maps and the Problem of Risk Due to the Human Factor

By Abramova N., Avdeeva Z., Kovriga S. and Makarenko D.

Part of book: Cognitive Maps

3. Cellular Learning Automata and Its Applications

By Amir Hosein Fathy Navid and Amir Bagheri Aghababa

Part of book: Emerging Applications of Cellular Automata

4. A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets

By Parisa Heidari and Hanifa Boucheneb

Part of book: Petri Nets - Manufacturing and Computer Science

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

By Anna Januchta-Szostak

Part of book: Cognitive Maps

6. Reachability Criterion with Sufficient Test Space for Ordinary Petri Net

By Gi Bum Lee, Han Zandong and Jin S. Lee

Part of book: Petri Nets - Manufacturing and Computer Science

7. 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

8. 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

9. Petri Nets-based Models for Web Services Composition

By Huaikou Miao and Tao He

Part of book: Petri Nets Applications

10. Hierarchy-Aware Message-Passing in the Upcoming Many-Core Era

By Carsten Clauss, Simon Pickartz, Stefan Lankes and Thomas Bemmerl

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