Верификация раскрашенных сетей Петри методом проверки моделей | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Стененко А. А.

Непомнящий В. А.

Количество экземпляров:

1

Колл. автор:

ИСИ СО РАН

Вид:

Препринт

Год:

2015

Ключевые слова:

сети петри

раскрашенный

моделирование

распределенная система

коммуникационный

протокол

Стр.:

27 с.

Библиография:

Библиогр.: c.27

Место издания:

Новосибирск

Номер:

178

Карточка:

Б2.42.

Стененко А. А., Непомнящий В. А..

Верификация раскрашенных сетей Петри методом проверки моделей-Новосибирск., 2015.-27 с.-(Препринт ИСИ СО РАН №178).
Библиогр.: c.27

Таблица в старой библиотеке:

ISI3 356