Authors: Miguel Mujica, Miquel Angel Piera
The coloured Petri net formalism has been used recently to analyze and optimize industrial systems making use of the state space analysis. This approach has great potential to give very good results when it is properly implemented. In this article an improved version of the algorithm known as the time line search for optimizing the makespan of manufacturing models is presented. The algorithm uses a compact state space of coloured Petri net models in order to analyze the highest possible number of configurations.