Dennis Petty death notice and obituary, Friday June 2, 2023. Grissom-Martin Funeral Home, Inc. Columbia, KY 42728