Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems is a timely and rigorous new resource from Bentham Science for computer scientists, control engineers, and system designers that explores the foundational and advanced principles of modeling concurrent control systems using Petri nets.
Presenting both foundational concepts and advanced analysis strategies for evaluating key system properties, the book focuses on building reliable, verifiable systems where concurrency plays a central role, from industrial automation to complex networked environments. Readers are introduced to various Petri net classes, relevant algorithms, computational complexity, and verification techniques, all contextualized through real-world case studies.
In addition to theoretical insights, the book delivers practical tools for the design and validation of concurrent systems, helping bridge the gap between academic research and applied engineering. With comprehensive discussions on trends, challenges, and future directions in the field, this title is positioned as a go-to reference for those involved in control system design, formal methods, and computer science.
Find out more about the book here: http://bit.ly/4l3Djr2
For review copies, interviews, or media inquiries, please contact Bentham Science Publishers.
About the Author:
Prof. Marcin Wojnakowski received his Ph.D. in computer engineering from the University of Zielona Góra in 2023. He currently serves as an Assistant Professor at the Institute of Control and Computation Engineering. His research focuses on Petri nets, formal modeling, and the decomposition of concurrent control systems. Since 2017, he has been actively involved in the HIPPO research project, which explores advanced system modeling methodologies.