EA12: Sztochasztikus Petri hálók