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

Вы здесь

Автор:

Окунишникова Е. В.

Чурина Т. Г.

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

1

Вид:

Статья из сборника или журнала

Год:

1995

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

сети петри

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

спецификация

верификация

Стр.:

С.95-122.

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

Библиогр.: c.121-122.

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

Новосибирск

Источник:

Проблемы спецификации и верификации параллельных систем. Сборник научных трудов

Карточка:

Б2.22, Б2.23, Б2.42.

Окунишникова Е. В., Чурина Т. Г..

Способ построения раскрашенных сетей Петри, моделирую их Estelle-спецификации-Новосибирск.// Проблемы спецификации и верификации параллельных систем. Сборник научных трудов, 1995.-С.95-122.
Библиогр.: c.121-122.

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

PAP15 890