Marking estimation in petri nets using dynamic mode decomposition