Title: Modelirovanie vychislitelʹnykh sistem i prot︠s︡essov