Contents
PART I Modelling and Simulations of Manufacturing Systems
Chapter 1 Modelling Manufacturing Systems with Place/Transition Nets and Timed Petri Nets
Maria Paola Cabasino, Mariagrazia Dotoli and Carla Seatzu
Chapter 2 Modelling Manufacturing Systems in a Dioid Framework
Thomas Brunsch, Laurent Hardouin and Jörg Raisch
Chapter 3 Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets
Maria Paola Cabasino, Alessandro Giua and Carla Seatzu
Chapter 4 Hybrid Models for the Control and Optimization of Manufacturing Systems
Christos G. Cassandras and Chen Yao
Chapter 5 Freight Transportation in Distributed Logistic Chains
Angela Di Febbraro and Nicola Sacco
Get Formal Methods in Manufacturing now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.