Marking estimation of Petri nets with pairs of nondeterministic transitions