Theory of Computation

8 Open Access Books

140 Authors and Editors

130 Web of Science Citations

204 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

4027
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

3279
3. Timed Petri Nets

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

Part of book: Petri Nets

2216

Most downloaded chapters in this category in last 30 days

Chapter title
1. Workflow Diagnosis Using Petri Net Charts

By Calin Ciufudean and Constantin Filote

Part of book: Petri Nets

2. Security in the Development Process of Mobile Grid Systems

By David G. Rosado, Eduardo Fernández-Medina and Javier López

Part of book: Advances in Grid Computing

3. Particle Filter for Depth Evaluation of Networking Intrusion Detection Using Coloured Petri Nets

By Chien-Chuan Lin and Ming-Shi Wang

Part of book: Petri Nets

4. Modeling and Analyzing Software Architecture Using Object-Oriented Petri Nets and Pi-Calculus

By Zhenhua Yu, Xiao Fu, Yu Liu, JingWang and Yuanli Cai

Part of book: Petri Nets

5. Modeling Multimedia Synchronization Using a Time Petri Net Based Approach

By Abdelghani Ghomari and Chabane Djeraba

Part of book: Advances in Petri Net

6. Timed Hierarchical Object-Oriented Petri Net

By Hua Xu

Part of book: Petri Net

7. A Framework for Problem-Specific QoS Based Scheduling in Grids

By Mohamed Wahib, Asim Munawar, Masaharu Munetomo and Kiyoshi Akama

Part of book: Advances in Grid Computing

8. Towards Rewriting Semantics of Software Architecture Specification

By Yujian Fu, Zhijiang Dong, Phil Bording and Xudong He

Part of book: Petri Nets

9. Using Petri nets for modeling and verification of Hybrid Systems

By Ricardo Rodriguez, Otoniel Rodriguez, Gerardo Reyes and Vianey Cruz

Part of book: Petri Nets

10. Supervisory Control and High-level Petri nets

By Chiheb Ameur Abid, Sajeh Zairi and Belhassen Zouari

Part of book: Petri Nets