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