Синтез комбинацонных схем и конечных автоматов, сети Петри
Информатика, программирование