EA09: Petri hálók strukturális tulajdonságai. Invariánsok számítása