Тарасюк, Игорь Валерьевич
(Новосибирский государственный университет, 2009)
Исчисление боксов Петри PBC — известная алгебра параллельных процессов с семантикой сетей Петри. Автором было разработано дискретно-временное стохастическое расширение dtsPBC конечного PBC, дополненное позже оператором ...