Languages
English
Русский
Navigation
Home
About journal
Publication Ethics
Articles
Guidelines for Authors
Authors
Archive
Contacts
Лукьянова Е. А.
Журнал:
ТВИМ 2017 №4
Structural neighborhood modeling of the industrial ventilation system.
Журнал:
ТВИМ 2017 №2
On the structuring of the involve discrete information of Petri model for acceleration computation of invariants purpose.
Журнал:
ТВИМ 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 verification of accuracy of temporal logic formulae
Журнал:
ТВИМ 2013 №2
On similarity of Petri nets languages
Журнал:
ТВИМ 2012 №2
О способах построения и использовании компонентной сети Петри с ингибиторными дугами для анализа её исходной детальной модели Петри
Журнал:
ТВИМ 2011 №2
О компонентном анализе параллельных распраделенных систем.
Журнал:
ТВИМ 2011 №1
Метод моделирования реактивных систем с параллельными и последовательными процессами
Журнал:
ТВИМ 2006 №2
Метод верификации свойств реактивной системы на модели