Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.

760

Купить

Краткое содержание:

Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.

Name: Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.
Rating: 4.5
ISBN: 91-7219-011-6

Автор:

Olsén Hans

Год:

1997

isbn:

91-7219-011-6

Язык:

–

Перевод заглавия:

Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.

Заглавие серии:

Linköping studies in science a. technology . Dissertation ; N 495 [0345-7524]

Описание:

Olsén Hans Automatic verification of Petri nets in a CLP framework : Thesis / Hans Olsén. - Linköping : Linköping univ. Dep. of computer a. inform. science, 1997. - [4], 251 c. : ил. ; 24 см. - (Linköping studies in science a. technology . Dissertation ; N 495 [0345-7524]). - Библиогр.: с. 245-251

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Вычислительные системы Петри → Контроль автоматический

Примечания:

Библиогр.: с. 245-251

Дата создания:

2020-01-27 23:06:30

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.

Заработать от 15 000 руб. до 150 000 руб.

Реставрация Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.

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

Показать контакты

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Национальная детская библиотека Республики Коми им. С.Я. Маршака

Республика Коми, Сыктывкар городской округ, Сыктывкар, Центральный
Советская, 20
Расположение на карте

санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
Вс: 10:00-17:00

www.ndbmarshak.komi.com
Вконтакте: https://vk.com/club20662591

+7 (8212) 24-50-28 +7 (8212) 21-66-50 +7 (8212) 24-52-96 +7 (8212) 44-89-08

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека №6

Самарская область, Самара городской округ, Самара, Кировский район, 15-й микрорайон
Стара-Загора, 283
Расположение на карте

санитарный день: первый вт месяца
Пн: 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 (846) 956-88-64 +7 (846) 958-05-18

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №3

Воронежская область, Воронеж городской округ, Воронеж, Советский район
Ворошилова, 38
Расположение на карте

Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00

+7 (473) 263-65-23

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Приморская краевая библиотека для слепых

Приморский край, Владивостокский городской округ, Владивосток, Советский район
Чкалова, 6
Расположение на карте

санитарный день: первая ср месяца
Пн: 09:00-17:30
Вт: 09:00-17:30
Ср: 09:00-17:30
Чт: 09:00-17:30
Пт: 09:00-17:30
Сб: 10:00-17:30

pkbs.su

+7 (423) 231-68-99 +7 (423) 231-69-00 +7 (423) 231-28-43

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №9

Приморский край, Находкинский городской округ, Находка, Врангель пос
Приморский проспект, 24
Расположение на карте

Пн: 11:00-14:00 15:00-19:00
Вт: 11:00-14:00 15:00-19:00
Ср: 11:00-14:00 15:00-19:00
Чт: 11:00-14:00 15:00-19:00
Пт: 11:00-14:00 15:00-19:00
Сб: 11:00-14:00 15:00-19:00

Инстаграм: https://instagram.com/biblioteka_vrangel

+7 (4236) 61-70-90

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Сельская библиотека, с. Борцово

Новосибирская область, Тогучинский район, с. Борцово
Центральная, 70
Расположение на карте

Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-16:00
Вс: 11:00-16:00

Название и адрес

Режим работы

Контактная информация

Телефон

Техническая библиотека ст. Алтайская

Алтайский край, Новоалтайск городской округ, Новоалтайск
Строительная, 15
Расположение на карте

санитарный день: последний день месяца
Пн: 08:00-18:00
Вт: 08:00-18:00
Ср: 08:00-18:00
Чт: 08:00-18:00
Пт: 08:00-18:00

+7 (38532) 3-24-61

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Яблоновская городская библиотека №4

Республика Адыгея, Тахтамукайский район, пгт Яблоновский
Лаухина, 7а
Расположение на карте

санитарный день: последняя пт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-14:00

+7 (87771) 9-89-64 +7-918-432-87-98

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Усть-Баргузинская библиотека семейного чтения

Республика Бурятия, Баргузинский район, пгт Усть-Баргузин
Щербакова, 9а
Расположение на карте

Пн: 09:30-12:00 14:00-17:00
Вт: 09:30-12:00 14:00-17:00
Ср: 09:30-12:00 14:00-17:00
Чт: 09:30-12:00 14:00-17:00
Пт: 09:30-12:00 14:00-17:00

+7 (30131) 9-13-35

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, Культурно-спортивный комплекс

Ставропольский край, Шпаковский район, с. Дубовка
Кирова, 1а
Расположение на карте

Пн: 09:00-12:00 13:00-15:30
Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00
Сб: 09:00-12:00 13:00-15:30

+7 (86553) 3-72-16

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Национальная детская библиотека Республики Коми им. С.Я. Маршака

Республика Коми, Сыктывкар городской округ, Сыктывкар, Центральный
Советская, 20
Расположение на карте

санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
Вс: 10:00-17:00

www.ndbmarshak.komi.com
Вконтакте: https://vk.com/club20662591

+7 (8212) 24-50-28 +7 (8212) 21-66-50 +7 (8212) 24-52-96 +7 (8212) 44-89-08

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека №6

санитарный день: первый вт месяца
Пн: 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 (846) 956-88-64 +7 (846) 958-05-18

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №3

Воронежская область, Воронеж городской округ, Воронеж, Советский район
Ворошилова, 38
Расположение на карте

Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00

+7 (473) 263-65-23

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Приморская краевая библиотека для слепых

санитарный день: первая ср месяца
Пн: 09:00-17:30
Вт: 09:00-17:30
Ср: 09:00-17:30
Чт: 09:00-17:30
Пт: 09:00-17:30
Сб: 10:00-17:30

pkbs.su

+7 (423) 231-68-99 +7 (423) 231-69-00 +7 (423) 231-28-43

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №9

Пн: 11:00-14:00 15:00-19:00
Вт: 11:00-14:00 15:00-19:00
Ср: 11:00-14:00 15:00-19:00
Чт: 11:00-14:00 15:00-19:00
Пт: 11:00-14:00 15:00-19:00
Сб: 11:00-14:00 15:00-19:00

Инстаграм: https://instagram.com/biblioteka_vrangel

+7 (4236) 61-70-90

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Сельская библиотека, с. Борцово

Новосибирская область, Тогучинский район, с. Борцово
Центральная, 70
Расположение на карте

Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-16:00
Вс: 11:00-16:00

Название и адрес

Режим работы

Контактная информация

Телефон

Техническая библиотека ст. Алтайская

Алтайский край, Новоалтайск городской округ, Новоалтайск
Строительная, 15
Расположение на карте

санитарный день: последний день месяца
Пн: 08:00-18:00
Вт: 08:00-18:00
Ср: 08:00-18:00
Чт: 08:00-18:00
Пт: 08:00-18:00

+7 (38532) 3-24-61

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Яблоновская городская библиотека №4

Республика Адыгея, Тахтамукайский район, пгт Яблоновский
Лаухина, 7а
Расположение на карте

санитарный день: последняя пт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-14:00

+7 (87771) 9-89-64 +7-918-432-87-98

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Усть-Баргузинская библиотека семейного чтения

Республика Бурятия, Баргузинский район, пгт Усть-Баргузин
Щербакова, 9а
Расположение на карте

Пн: 09:30-12:00 14:00-17:00
Вт: 09:30-12:00 14:00-17:00
Ср: 09:30-12:00 14:00-17:00
Чт: 09:30-12:00 14:00-17:00
Пт: 09:30-12:00 14:00-17:00

+7 (30131) 9-13-35

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, Культурно-спортивный комплекс

Ставропольский край, Шпаковский район, с. Дубовка
Кирова, 1а
Расположение на карте

Пн: 09:00-12:00 13:00-15:30
Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00
Сб: 09:00-12:00 13:00-15:30

+7 (86553) 3-72-16

Показать номер

Информация от пользователей

Азат Нагирян

Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.. В книге говорится , что в данной работе рассматривается решение задачи автоматического контроля сетей Петри. В рамках данной работы была разработана специальная модель сети Петри на основе стандартных элементов, которая позволяет достаточно просто создавать и контролировать сеть. Также в научной работе приводятся результаты машинного моделирования с помощью программы Matlab, результаты которых показывают, что данный метод дает хорошие результаты.

Рецензии и отзывы

Егор Петров

Automatic verification of Petri nets in a CLP framework : Thesis = Автоматический контроль сетей Петри в системе CLP [Constraint Logic Programs (ограничения логических программ)]. Дис.. В книге говорится , что: < Позволяется ПО САРКУ тестировать конкретные сети, а пользователь не должен давать какие-либо инструкции.