Marking estimation of Petri nets with arbitrary transition labeling