Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems
Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems provides a comprehensive study of concurrent control systems using Petri net models, with a focus on boundedness and safeness analysis. Designed for both academic and industry professionals, it bridges the gap between theoretical rigor and practical applications, offering essential insights for advancing knowledge in the field.
The content covers foundational principles of control systems and Petri nets before exploring advanced analysis techniques. Topics include algorithms, computational complexity, and different Petri net classes. The book also addresses boundedness and safeness properties, presenting verification methods, case studies, and experimental results. Trends, challenges, and future directions are also discussed in the book equipping readers with practical tools to innovate in concurrent system design.
ISBN: 978-981-5322-71-2
Bentham Science Publishers, 2025
Deep Neural Networks in Medical Image Classification 
ISBN: 978-83-7842-558-8
Uniwersytet Zielonogórski, 2024
