Modelling and analysis of concurrent systems, with applications in logistics, manufacturing and automation

Body of Modelling and analysis of concurrent systems, with applications in logistics, manufacturing and automation