Способ построения раскрашенных сетей Петри, моделирующих SDL-системы = Coloured Petri nets approach to the validation of SDL-specifications
2594
Купить
Краткое содержание:
Экранизация книги

Способ построения раскрашенных сетей Петри, моделирующих SDL-системы = Coloured Petri nets approach to the validation of SDL-specifications

Автор:
Чурина Татьяна Геннадьевна
Год:
1998
Язык:
Русский
Страниц:
56
Заглавие серии:
Препринт / Российская академия наук. Сибир. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 56
Описание:
Чурина Т. Г. Способ построения раскрашенных сетей Петри, моделирующих SDL-системы = Coloured Petri nets approach to the validation of SDL-specifications / Т.Г. Чурина. - Новосибирск : Ин-т систем информатики, 1998. - 56 с. : ил. ; 20 см. - (Препринт / Российская академия наук. Сибир. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 56). - Библиогр.: с. 55-56
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Петри, сети → Проектирование
Примечания:
Авт. также на англ. яз.: T.G. Churina . - Рез. на англ. яз . - Библиогр.: с. 55-56
Дата создания:
2020-02-22 19:17:23
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Способ построения раскрашенных сетей Петри, моделирующих SDL-системы = Coloured Petri nets approach to the validation of SDL-specifications

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Способ построения раскрашенных сетей Петри, моделирующих SDL-системы = Coloured Petri nets approach to the validation of SDL-specifications
Опросы
Она устаревшая или актуальная?
Устарела
Актуальна
Не знаю
Содержание

Реставрация Способ построения раскрашенных сетей Петри, моделирующих SDL-системы = Coloured Petri nets approach to the validation of SDL-specifications

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2 им. Ю.В. Трифонова
Москва, Москва, Тверской район
Лесная, 63 ст1
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
cbscao.ru
 +7 (499) 251-41-42 +7 (499) 250-01-62
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, г. Котельники
Московская область, Котельники городской округ, Котельники
Силикат микрорайон, 32
Расположение на карте
Пн: 10:00-13:00 14:00-19:00
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
Сб: 10:00-13:00 14:00-19:00
librarykotel.ru
 +7 (495) 550-80-87 +7 (495) 558-13-18
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека
Свердловская область, Нижний Тагил городской округ, Нижний Тагил, Дзержинский район, Вагонка
Ильича, 31
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
tagillib.ru
Вконтакте:  https://vk.com/public50257368
Facebook:  https://facebook.com/1583229331944895
Youtube:  https://youtube.com/user/libtagil
 +7 (3435) 33-58-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Центрального района г. Сочи
Краснодарский край, Сочи городской округ, Сочи, Центральный район
Горького, 37
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
library-sochi.ru
 +7 (862) 253-17-04
Показать номер
Рецензии и отзывы
Егор Петров
Способ построения раскрашенных сетей Петри, моделирующих SDL-системы = Coloured Petri nets approach to the validation of SDL-specifications. В книге описывается конструкция деревянных, а не металлических сетей, использующаяся при отладке SDL-систем. Реализация этих сетей проходит следующим образом.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2 им. Ю.В. Трифонова
Москва, Москва, Тверской район
Лесная, 63 ст1
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
cbscao.ru
 +7 (499) 251-41-42 +7 (499) 250-01-62
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, г. Котельники
Московская область, Котельники городской округ, Котельники
Силикат микрорайон, 32
Расположение на карте
Пн: 10:00-13:00 14:00-19:00
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
Сб: 10:00-13:00 14:00-19:00
librarykotel.ru
 +7 (495) 550-80-87 +7 (495) 558-13-18
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека
Свердловская область, Нижний Тагил городской округ, Нижний Тагил, Дзержинский район, Вагонка
Ильича, 31
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
tagillib.ru
Вконтакте:  https://vk.com/public50257368
Facebook:  https://facebook.com/1583229331944895
Youtube:  https://youtube.com/user/libtagil
 +7 (3435) 33-58-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Центрального района г. Сочи
Краснодарский край, Сочи городской округ, Сочи, Центральный район
Горького, 37
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
library-sochi.ru
 +7 (862) 253-17-04
Показать номер
Информация от пользователей
Азат Нагирян
Способ построения раскрашенных сетей Петри, моделирующих SDL-системы = Coloured Petri nets approach to the validation of SDL-specifications. В книге описывается подход к построению раскрашенных сетей Петри, предназначенный для моделирования систем реального времени и основанный на использовании наборов правил (правил вида set/set-sets). Он позволяет, в частности, моделировать системы реального времени, поддерживающие протоколы с несколькими состояниями и с задержкой между передачей сообщений. На основе этого подхода в книге предложен метод валидации спецификаций на соответствие требованиям к таким системам.
Прикрепить файл
Книга находятся в категориях.