Метод верификации свойств параллелизма временных сетей Петри = Toward verification of concurrent properties of time Petri nets
1209
Купить
Краткое содержание:
Экранизация книги

Метод верификации свойств параллелизма временных сетей Петри = Toward verification of concurrent properties of time Petri nets

Автор:
Покозий Е. А.
Год:
1999
Язык:
Русский
Страниц:
28
Заглавие серии:
Препринт = Preprint / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 61
Описание:
Покозий Е. А. Метод верификации свойств параллелизма временных сетей Петри = Toward verification of concurrent properties of time Petri nets / Е.А. Покозий. - Новосибирск : ИСИ СО РАН, 1999. - 28 с. : ил. ; 20 см. - (Препринт = Preprint / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 61). - Библиогр.: с. 28
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Петри сети
Примечания:
На парал. тит. л. авт. также на англ. яз.: E.A. Pokozy . - Рез. на англ. яз . - Библиогр.: с. 28
Дата создания:
2020-02-22 02:46:49
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Метод верификации свойств параллелизма временных сетей Петри = Toward verification of concurrent properties of time Petri nets

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Метод верификации свойств параллелизма временных сетей Петри = Toward verification of concurrent properties of time Petri nets
Опросы
Оригинал написан на мертвом языке?
Да, позже переведен на другие языки.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Метод верификации свойств параллелизма временных сетей Петри = Toward verification of concurrent properties of time Petri nets

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №120 для дітей
Киев город со специальным статусом, Київ, Оболонський район, Пріорка
Попова, 12
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +380 (44) 430-50-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №17, Централизованная библиотечная система
Бишкек, Бишкек, Свердловский район
Московская, 53
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Сб: 08:00-15:00
 +996 (312) 38-32-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система массовых библиотек
Карагандинская область, Караганда городская администрация, Караганда, Казыбек Би район
Жамбыла, 151
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (7212) 56-53-62
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №147
Москва, Москва, Орехово-Борисово Северное район
Домодедовская, 11
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
Инстаграм:  https://instagram.com/library_147
 +7 (495) 391-69-11
Показать номер
Рецензии и отзывы
Егор Петров
Метод верификации свойств параллелизма временных сетей Петри = Toward verification of concurrent properties of time Petri nets. В данной книге описывается использование критерия параллелизма, сформулированного Дональдом Смитом.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №120 для дітей
Киев город со специальным статусом, Київ, Оболонський район, Пріорка
Попова, 12
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +380 (44) 430-50-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №17, Централизованная библиотечная система
Бишкек, Бишкек, Свердловский район
Московская, 53
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Сб: 08:00-15:00
 +996 (312) 38-32-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система массовых библиотек
Карагандинская область, Караганда городская администрация, Караганда, Казыбек Би район
Жамбыла, 151
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (7212) 56-53-62
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №147
Москва, Москва, Орехово-Борисово Северное район
Домодедовская, 11
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
Инстаграм:  https://instagram.com/library_147
 +7 (495) 391-69-11
Показать номер
Информация от пользователей
Азат Нагирян
Метод верификации свойств параллелизма временных сетей Петри = Toward verification of concurrent properties of time Petri nets. В данной книге описывается метод верификации свойств параллельности временных сетей Петри, основанный на концепции проверки выполнения условий параллельности. Разработанный метод позволяет верифицировать свойства параллельности временных сетей как с помощью моделирования, так и при изучении результатов экспериментов. Метод также может быть использован для решения задач управления параллельными процессами, когда необходимо убедиться в том, что параллелизм процессов реализован в системе. 1. Введение 1.1.
Прикрепить файл
Книга находятся в категориях.