EA13: Petri hálók analízise absztrakció finomítással. Adatfolyam hálók.