Deadlock and Collision Avoidance in Railway Networks with Dynamic Routing: A Petri Net Approach with Partial Controllability and Observability

From MaRDI portal
Publication:5054378