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

Вы здесь

Автор:

Козюра В. Е.

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

Новиков Р. М.

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

1

Колл. автор:

ИСИ СО РАН

Вид:

Препринт

Год:

2001

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

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

сети петри

проверка моделей

Стр.:

24

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

Библиогр.: c.23-24

Источник:

Номер:

89

Карточка:

Козюра В. Е., Непомнящий В. А., Новиков Р. М..

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