Język przebiegu jest jednym z języków zorientowanych graficznie, opisujących czasowy przebieg różnych czynności wewnątrz programu. W tym celu język wykorzystuje grafy zawierające kroki, dla których przypisane są określone akcje, i tranzycje, które sterują przebiegiem kroków.

Przykład sieci opisanej w języku przebiegu: