Лукьянова Е. А.

Журнал: ТВИМ 2022 №3

Распределенные системы в среде динамического моделирования

Журнал: ТВИМ 2017 №4

Cтруктурное окрестностное моделирование систем промышленной вентиляции

Журнал: ТВИМ 2017 №2

О структурировании задействованной дискретной информации моделей Петри с целью ускорения вычисления инвариантов

Журнал: ТВИМ 2014 №1

On conditions imposed on sections of a Kripke structure that simulate the functioning of the compound components allocated in detailed Petri net of parallel distributed system for veriﬁcation of accuracy of temporal logic formulae

Журнал: ТВИМ 2013 №2

On similarity of Petri nets languages