В какой нотации (нотациях) может быть смоделирован типовой процесс?

Для просмотра статистики ответов нужно залогиниться.