EA11: Színezett Petri hálók