A Petri Nets based Generic Genetic Algorithm framework for resource optimization in business processes · Study