This book concentrates on the applications of Petri Nets in computer science. Petri Nets are graphical and mathematical tools, and the synchronism of executed actions is the natural phenomenon because of which Petri Nets are considered as mathematical tools for modeling synchronous systems. The primary idea of this theory was modified by several researchers according to their needs, owing to the odd "flexibility" of this theory. This area has great influence on our lives and our world. This theory is still developing and some directions of investigations are also encompassed in this book. Some flourishing facts regarding the application of Petri Nets in the public domain are also covered including the in-depth study and control of public bicycle sharing systems. The book displays the results of research works done with the help of Petri Nets in science centers across the globe.