Analysis of structural properties of Petri nets based on product incidence matrix.