PetriNetze: Platzinvarianten-> Menge

Guten Tag,

ich habe die Frage wie man aus Transitions- und Platzinvarianten die expliziten Mengen darstellen kann?
Da ich mit den Definitionen nicht klar komme erhoffe ich mir Hilfe auf diesem Weg.
Danke im voraus für produktive Antworten