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

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

О способах построения и использовании компонентной сети Петри с ингибиторными дугами для анализа её исходной детальной модели Петри

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

О компонентном анализе параллельных распраделенных систем.

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

Метод моделирования реактивных систем с параллельными и последовательными процессами

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

Метод верификации свойств реактивной системы на модели