Theory of Computation

8 Open Access Books

140 Authors and Editors

211 Web of Science Citations

280 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

4582
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

4030
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

2853

Most downloaded chapters in this category in last 30 days

Chapter title
1. Timed Petri Nets

By José Reinaldo Silva and Pedro M. G. del Foyo

Part of book: Petri Nets - Manufacturing and Computer Science

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

By Anna Januchta-Szostak

Part of book: Cognitive Maps

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

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

5. Cellular Learning Automata and Its Applications

By Amir Hosein Fathy Navid and Amir Bagheri Aghababa

Part of book: Emerging Applications of Cellular Automata

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

7. State of the Art in Interactive Storytelling Technology: An Approach Based on Petri Nets

By Hussein Karam Hussein Abd El-Sattar

Part of book: Petri Nets - Manufacturing and Computer Science

8. Grammars Controlled by Petri Nets

By J. Dassow, G. Mavlankulov, M. Othman, S. Turaev, M.H. Selamat and R. Stiebe

Part of book: Petri Nets - Manufacturing and Computer Science

9. A New Approach to Resource Discovery in Grid Computing

By Leyli Mohammad Khanli, Saeed Kargar and Ali Kazemi Niari

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

10. Boolean Petri Nets

By Sangita Kansal, Mukti Acharya and Gajendra Pratap Singh

Part of book: Petri Nets - Manufacturing and Computer Science