Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток = Implementation of the model checking algorithm for coloured Petri nets based on net unfoldings / В.Е. Козюра
Параллельное заглавие: : Implementation of the model checking algorithm for coloured petri nets based on net unfoldingsЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : ИСИ, 2002Физическая характеристика: 44 с. : ил. ; 20 см.Серия: Препринт ; 94Примечания: Авт. также на англ. яз.: Kozura V.E.; Рез. на англ. яз..Библиография: Библиогр.: с. 41-44.Предметная рубрика - Тема: Петри сети -- Математическое моделирование -- Разверток метод Неконтролируемые предметные термины: Компьютеры персональные - Программы - Верификация | Петри сети УДК: 004.652, 3, rusДругие классификации: ( rugasnti ) 50 ; ( rubbk ) 32.973.26-018.2 ; З973.202-01с11 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2002-4/16027 (Просмотр полки(Открывается ниже)) | 2198 | Доступно | 382248 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2002-4/16027 (Просмотр полки(Открывается ниже)) | 2198 | Доступно | 382249 |
Авт. также на англ. яз.: Kozura V.E.
Рез. на англ. яз.
Библиогр.: с. 41-44