Strong maximal function revisit on Heisenberg group

We prove the $L^p$-boundedness of the strong maximal operator defined on a Heisenberg group w.r.t an absolutely continuous measure satisfying the product $A_{\mathrm{\infty }}$-property.