Dualität und Analyse von formalen Modellen Prädikat/Transitions-Netze und ihr Bezug zur linearen Algebra