Real-Time Management of Resource Allocation Systems focuses on the problem of managing the resource allocation taking place within the operational context of ma

Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing syste

This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, OPODIS 2006, held at Bordeaux, France,

Deadlock problems in flexible manufacturing systems (FMS) have received more and more attention in the last two decades. Petri nets are one of the more promisin

The purpose of the 2012 3rd International Asia Conference on industrial engineering and management innovation (IEMI2012) is to bring together researchers, engin