Describir: Modelovacie formalizmy udalostných systémov