Сидорова, Н. С. Бисимуляционно-эквивалентные преобразования сетей Петри [Text] : препринт / Н. С. Сидорова. - Ярославль, 1998. - 51 с. : ил. - (Препринт ; N1). - Б. ц. Содержание:
Свободных экз. нет |
Козюра, В. Е. Unfoldings of timed coloured petri nets [Text] : препринт / В. Е. Козюра. - Novosibirsk, 2000. - 32 p. : il. - (Препринт ; 82). - Б. ц. Перед загл. авт.: V. E. Kozura Перевод заглавия: ^aUnfolding of timed coloured Petri nets Содержание: Перевод заглавия: ^aUnfolding of timed coloured Petri nets
Свободных экз. нет |
Белоусов, А. И. Использование сетей Петри для синхронизации движения распределенной мобильной системы [Text] : препринт / А. И. Белоусов, А. А. Кирильченко. - М., 2000. - 23 с. : ил. - (Препринт ; N65 за 2000 г.). - Б. ц. Перевод заглавия: ^aUse of Petri nets for the distributed mobile system for synchronization Содержание: Перевод заглавия: ^aUse of Petri nets for the distributed mobile system for synchronization
Роботы мобильные Доп.точки доступа: Кирильченко, А.А. Свободных экз. нет |
Козюра В.Е. Unfoldings of coloured Petri nets [Text] : препринт / Козюра В.Е. - Novosibirsk, 2000. - 34 p. : il. - (Препринт ; 80(2000)). - Б. ц. Перед загл. авт.: V.E.Kozura Перевод заглавия: ^aUnfoldings of coloured Petri nets Содержание: Перевод заглавия: ^aUnfoldings of coloured Petri nets
Свободных экз. нет |
Желтов, В. П. Стохастическая оптимизация расписания на сетях Петри [Text] : монография / В. П. Желтов, А. П. Димитриев. - Чебоксары : [s. n.], 2001. - 213 с. : ил. - ^aБиблиогр.: с. 204-212 (120 назв.). - ISBN 5-7677-0528-3 : Б. ц. В надзаг.: Чуваш. гос. ун-т им. И. Н. Ульянова.
Доп.точки доступа: Димитриев, А.П. Свободных экз. нет |
Козюра, В. Е. Верификация раскрашенных сетей Петри методом проверки моделей [Text] : препринт / В. Е. Козюра, В. А. Непомнящий, Р. М. Новиков. - Новосибирск, 2001. - 24 с. : ил. - (Препринт ; 89). - Б. ц. Перевод заглавия: ^aVerification of coloured Petri nets by means check-up of models^ePreprint Содержание: Перевод заглавия: ^aVerification of coloured Petri nets by means check-up of models^ePreprint
Доп.точки доступа: Непомнящий, В.А.; Новиков, Р.М. Свободных экз. нет |
Козюра, В. Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток [Text] : препринт / В. Е. Козюра. - Новосибирск, 2002. - 44 с. : ил. - (Препринт ; 94(2002)). - Б. ц. Перевод заглавия: ^aImplementation of the model checking algorithm for coloured Petri nets based on net unfoldings^ePreprint Содержание: Перевод заглавия: ^aImplementation of the model checking algorithm for coloured Petri nets based on net unfoldings^ePreprint
Свободных экз. нет |
Ломазова, И. А. Сети Петри и анализ поведенческих свойств распределенных систем [Text] : учеб. пособие / И. А. Ломазова. - Ярославль : [s. n.], 2002. - 162 с. : ил. - ^aБиблиогр.: с. 160-162 (28 назв.). - ISBN 5-8397-0218-8 : Б. ц. В надзаг.: Яросл. гос. ун-т им. П.Г. Демидова.
Свободных экз. нет |
Ломазова, И. А. Вложенные сети Петри [Text] : моделирование и анализ распределенных систем с объектной структурой / И. А. Ломазова. - М. : Научный мир, 2004. - 207 с. : ил. - ^aБиблиогр.: с. 197-207(95 назв.). - ISBN 5-89176-247-1 : Б. ц.
Свободных экз. нет |
Proceedings of the 9th International workshop on Petri nets and performance models, 11-14 Sept. 2001, Aachen, Germany [Text] : материалы временных коллективов / PNPM'01;Ed.:R.German,B.Haverkort. - Los Alamitos(Ca) etc. : IEEE computer soc., 2001. - X,261 p. : ill. - ^aЗагл. обл.: Petri nets and performance models.Библиогр. в конце ст. - ISBN 0-7695-1248-8 : Б. ц.
Доп.точки доступа: German, R.; Haverkort, B.; International workshop on Petri nets and performance models Свободных экз. нет |
Павлов, Л. А. Основы теории сетей Петри [Text] : конспект лекций / Л. А. Павлов. - Чебоксары : Чуваш. гос. ун-т, 2006. - 44 с. : ил. - ^aБиблиогр.: с. 43 (5 назв.). - Б. ц. ; В надзаг.: Чуваш. гос. ун-т им. И. Н. Ульянова
Свободных экз. нет |
Башкин, В. А. Эквивалентность ресурсов в сетях Петри [Text] : монография / В. А. Башкин, И. А. Ломазова. - М. : Науч. мир, 2008. - 206 с. : ил. - ^aБиблиогр.: с. 199-206 (74 назв.). - ISBN 978-5-91522-002-6 : Б. ц. Содержание:
Доп.точки доступа: Ломазова, И.А. Свободных экз. нет |
Алгоритмы на сетях Петри [Text] : монография / П. В. Желтов [и др.]. - Чебоксары : Изд-во Чуваш. ун-та, 2008. - 145 с. - ^aБиблиогр.: с. 145. - ISBN 978-5-7677-1209-0 : Б. ц. ; В надзаг.: Чуваш. гос. ун-т им. И. Н. Ульянова
Петри сети Доп.точки доступа: Желтов, П.В.; Желтов, В.П.; Желтова, Л.В.; Кузнецова, Н.А. Свободных экз. нет |
Мурашко, Анри Гаврилович. Первое знакомство с сетями Петри [Text] : [Учеб. пособие по спец. Прикл. математика и Вычисл. машины, комплексы, системы и сети] / М-во высш. и сред. спец. образования УССР, Учеб.-метод. каб. по высш. образованию, Харьк. ин-т радиоэлектроники им. М. К. Янгеля. - Киев : УМКВО, 1988. - 69,[1] с. : ил. - Б. ц. ; Библиогр.: с. 69 (15 назв.)
Свободных экз. нет |
Кульба, Владимир Васильевич. Отладка систем защиты с использованием сетей Петри [Text] / В. В. Кульба, Д. А. Миронов, Е. Б. Соколова Ин-т пробл. управления. - Препр. - М. : ИПУ, 1990. - 49,[1] с. : ил. - Б. ц.
<Петри> <сети> Доп.точки доступа: Миронов, Д.А.; Соколова, Е.Б. Свободных экз. нет |
Бандман, Марк Константинович. Территориально-производственные комплексы [Text] : прогнозирование процесса формирования с использ. сетей Петри / М. К. Бандман, О. Л. Бандман, Т. Н. Есикова Отв. ред. А. Г. Гранберг; АН СССР, Сиб. отд-ние, Ин-т экономики и орг. пром. пр-ва. - Новосибирск : Наука. Сиб. отд-ние, 1990. - 297,[5] с. : ил. - Б. ц. ; Предм. указ.: с. 296-298
<Петри> <сети> Доп.точки доступа: Бандман, Ольга Леонидовна; Есикова, Татьяна Николаевна; Гранберг, А.Г. \.\ Свободных экз. нет |
Долгий, Александр Борисович. Сети Петри и их использование при моделировании дискретных систем и процессов [Text] : по курсу Прикл. математика для спец. Электрон. вычисл. машины : Метод. пособие / Александр Борисович Долгий, Дмитрий Владимирович Кузьмицкий, Светлана Анатольевна Поттосина. - Минск : МРТИ, 1991. - 46,[2] с. : ил. - Б. ц. ; Библиогр.: с. 47 (10 назв.)
<Вычислительные> <системы> <Графов> <теория> Доп.точки доступа: Кузьмицкий, Дмитрий Владимирович; Поттосина, Светлана Анатольевна Свободных экз. нет |
Кулагин, Владимир Петрович. Анализ параллельных процессов на основе сетевых моделей [Text] : учеб. пособие / Владимир Петрович Кулагин. - Пенза : ППИ, 1991. - 86,[3] с. : ил. - Б. ц. ; Библиогр.: с. 76-78 (24 назв.)
<Вычислительные> <системы> <многопроцессорные> Свободных экз. нет |
Тарасов, А. М. Ячеичная модель kd системы и ее алгоритмы описания законов функционирования [Text] : препринт / А. М. Тарасов. - Жуковский, 1995. - 31 c. : ил. - Б. ц.
<Нейронные> <сети> <Био>-<ЭВМ> Свободных экз. нет |
Тарасов, А. М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники [Text] : препринт / А. М. Тарасов, В. В. Подлубный. - Жуковский, 1995. - 21 c. : ил. - Б. ц. Перевод заглавия: ^aMathematical modeling and Petri-nets application to description of neural netwroks operation within computers and robotics Содержание: Перевод заглавия: ^aMathematical modeling and Petri-nets application to description of neural netwroks operation within computers and robotics
<Петри> <сети> <Нейронные> <сети> Доп.точки доступа: Подлубный, В.В. Свободных экз. нет |