A time stamp reduction method for state space exploration using colored Petri nets
In this paper we present a state space exploration method implemented as part of a Decision Support Tool designed to improve the performance of logistics and production systems. An efficient depth-first search strategy, together with a reduction method known as the 'Old Node Method', is introduced to improve the descendant path choice by means of an evaluation function that allows the selection of the most promising node to be expanded at any level of the path. The sub-set of the state space representing the most promising scenarios holds a set of feasible and quasi-optimal solutions.
colored petri nets logistic systems optimization problems scheduling state space reduction methods