A method for structural analysis of Petri net models