Petrovaradin es mencionada por primera vez en documentos históricos de 1237.