Selecting of variable in petri net