Petri net-based verification takes center stage in latest book on control systems
The book explores foundational and advanced principles of modeling concurrent control systems using Petri nets, focusing on building reliable, verifiable systems where concurrency plays a central role.