A Genetic Algorithm for Minimum Initial Marking Problems of Petri Nets