EA11: Színezett Petri-hálók