Приветствую Вас Гость | RSS Среда, 19.06.2019, 04:31
Змінити мову на Главная | Регистрация | Вход
Меню сайта
Последний номер

Меню журнала
Теги
Наш опрос
Какими должны быть научные издания по тематике публикаций?
Всего ответов: 189
Поиск
Полезные ссылки
Главная » 2015 » Сентябрь » 3 » Издательство IGI-Global (США) выпустило в продажу видео-лекцию профессора Дмитрия Анатольевича Зайцева "Сети Петри для моделирования и вычис
11:06
Издательство IGI-Global (США) выпустило в продажу видео-лекцию профессора Дмитрия Анатольевича Зайцева "Сети Петри для моделирования и вычис

Издательство IGI-Global (США) выпустило в продажу видео-лекцию профессора Дмитрия Анатольевича Зайцева "Сети Петри для моделирования и вычислений"

http://www.igi-global.com/video/petri-nets-modeling-computing/135018

 

Содержание видео-лекции:

Краткая биография и введение

Урок 1: Временные сети Петри с многоканальными переходами

- Модуль 1 – Уравнение состояний сетей с многоканальными переходами

- Модуль 2 – Эквивалентные преобразования временных сетей Петри

- Модуль 3 – Синтез функций нечеткой логики

Урок 2: Кланы сетей Петри

- Модуль 1 – Декомпозиция на кланы

- Модуль 2 – Композиционный анализ сетей Петри

- Модуль 3 – Оптимальный коллапс взвешенного графа

Урок 3: Сети Петри для производства и компьютерных сетей

- Модуль 1 – Автоматизированное управление и менеджмент

- Модуль 2 – Верификация коммуникационных протоколов

- Модуль 3 – Оценка производительности компьютерных сетей

Урок 4: Моделирование бесконечными сетями Петри

- Модуль 1 – Модель квадратной вычислительной решетки и гиперкуба

- Модуль 2 – Методы анализа бесконечных сетей Петри

- Модуль 3 – Программные генераторы моделей в форме сетей Петри

Урок 5: Организация вычислений на сетях Петри

- Модуль 1 – Универсальные сети Петри

- Модуль 2 – Архитектура компьютера на основе сетей Пери

- Модуль 3 – Технология программирования в сетях Петри

 

Основные источники:

Zaitsev D.A. Paradigm of Computations on the Petri Nets, Automation and Remote Control, 2014, Vol. 75, No. 8, 1369–1383, DOI: 10.1134/S0005117914080025

Zaitsev D.A. Toward the Minimal Universal Petri Net, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, Vol. 44, No. 1, 47-58, DOI: 10.1109/TSMC.2012.2237549

Zaitsev D.A., Zaitsev I.D., Shmeleva T.R. Infinite Petri Nets as Models of Grids (pp. 187-204). Chapter 19 in Mehdi Khosrow-Pour (Ed.) Encyclopedia of Information Science and Technology, Third Edition (10 Volumes). IGI-Global: USA, 2014.

Zaitsev D.A. Clans of Petri Nets: Verification of protocols and performance evaluation of networks, LAP LAMBERT Academic Publishing, 2013, 292 p.

Zaitsev D.A. Composition of Functional Petri Nets (pp. 404-465). Chapter 17 in Z.W. Li and A.M. Al-Ahmari (Ed.), Formal Methods in Manufacturing Systems: Recent Advances. IGI-Global: USA, 2013.

Zaitsev D.A., Sarbei V.G., Sleptsov A.I., Synthesis of continuous-valued logic functions defined in tabular form, Cybernetics and Systems Analysis, Volume 34, Number 2 (1998), 190-195, DOI: 10.1007/BF02742068

Zaitsev D.A., Sleptsov A.I. State equations and equivalent transformations for timed Petri nets, Cybernetics and Systems Analysis, Volume 33, Number 5 (1997), 659-672, DOI: 10.1007/BF02667189

Zaitsev D.A., Sleptsov A.I. Visualization of production processes in tool system of dispatcher in machine-building enterprise, Avtometriya, no. 4, 1990, p.90-93.

---

Чтобы рекомендовать лекцию библиотекарям и коллегам в Интернет используйте следующую ссылку

http://www.igi-global.com/forms/recommend-to-librarian/135018

Информация об авторе: Дмитрий Анатольевич Зайцев, http://daze.ho.ua

 

 

На английском языке:

USA, IGI-Global released a video-lecture of Prof. Dmitry Zaitsev

"Petri Nets for Modeling and Computing"

http://www.igi-global.com/video/petri-nets-modeling-computing/135018

Video-lecture Content:

Brief Biography and Introduction

Lesson 1: Timed Petri Nets with Multichannel Transitions

- Module 1 – State Equation of Nets with Multichannel Transitions

- Module 2 – Equivalent Transformations of Timed Petri Nets

- Module 3 – Synthesis of a Fuzzy Logic Function

Lesson 2: Clans of Petri Nets

- Module 1 – Decomposition into Clans

- Module 2 – Compositional Analysis of Petri Nets

- Module 3 – Optimal Collapse of a Weighted Graph

Lesson 3: Petri Nets for Manufacture and Networking

- Module 1 – Automated Manufacture Control and Management

- Module 2 – Verification of Communication Protocols

- Module 3 – Performance Evaluation of Networks

Lesson 4: Modeling with Infinite Petri Nets

- Module 1 – Models of a Square Grid and Hypercube

- Module 2 – Methods of Infinite Petri Nets Analysis

- Module 3 – Software Generators of Petri Net Models

Lesson 5: Petri Net Computing

- Module 1 – Universal Petri Nets

- Module 2 – Architecture of a Petri Net Computer

- Module 3 – Technology of Programming in Petri Nets

Basic References:

Zaitsev D.A. Paradigm of Computations on the Petri Nets, Automation and Remote Control, 2014, Vol. 75, No. 8, 1369–1383, DOI: 10.1134/S0005117914080025

Zaitsev D.A. Toward the Minimal Universal Petri Net, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, Vol. 44, No. 1, 47-58, DOI: 10.1109/TSMC.2012.2237549

Zaitsev D.A., Zaitsev I.D., Shmeleva T.R. Infinite Petri Nets as Models of Grids (pp. 187-204). Chapter 19 in Mehdi Khosrow-Pour (Ed.) Encyclopedia of Information Science and Technology, Third Edition (10 Volumes). IGI-Global: USA, 2014.

Zaitsev D.A. Clans of Petri Nets: Verification of protocols and performance evaluation of networks, LAP LAMBERT Academic Publishing, 2013, 292 p.

Zaitsev D.A. Composition of Functional Petri Nets (pp. 404-465). Chapter 17 in Z.W. Li and A.M. Al-Ahmari (Ed.), Formal Methods in Manufacturing Systems: Recent Advances. IGI-Global: USA, 2013.

Zaitsev D.A., Sarbei V.G., Sleptsov A.I., Synthesis of continuous-valued logic functions defined in tabular form, Cybernetics and Systems Analysis, Volume 34, Number 2 (1998), 190-195, DOI: 10.1007/BF02742068

Zaitsev D.A., Sleptsov A.I. State equations and equivalent transformations for timed Petri nets, Cybernetics and Systems Analysis, Volume 33, Number 5 (1997), 659-672, DOI: 10.1007/BF02667189

Zaitsev D.A., Sleptsov A.I. Visualization of production processes in tool system of dispatcher in machine-building enterprise, Avtometriya, no. 4, 1990, p.90-93.

 

To recommend the lecture to librarians and colleagues on Internet, please use the following reference

http://www.igi-global.com/forms/recommend-to-librarian/135018

Dmitry Zaitsev, http://daze.ho.ua

Dmitry A. Zaitsev (IEEE M’10–SM’11) received the Eng. degree in applied mathematics from Donetsk Polytechnic Institute, Donetsk, Ukraine, in 1986, the Ph.D. degree in automated control from the Kiev Institute of Cybernetics, Kiev, Ukraine, in 1991, and the Dr.Sc. degree in Telecommunications from the Odessa National Academy of Telecommunications, Ukraine, in 2006. Since 2009, he has been with International Humanitarian University, Odessa, where he is currently a Professor of Computer Engineering. He developed universal Petri nets, the analysis of infinite Petri nets with regular structure, the decomposition of Petri nets in clans, and the method of synthesis of fuzzy logic function given by tables. His current research interests include Petri net theory and its application in networking, production control, and computing.

Просмотров: 432 | Добавил: avlem | Теги: Одеса, Петрі, зайцев, мережі | Рейтинг: 5.0/1
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

Наукометрия (базы)
Календарь
Прием статей в 24-й номер: до 01.04.2019 г.
--------------------------------
«  Сентябрь 2015  »
ПнВтСрЧтПтСбВс
 123456
78910111213
14151617181920
21222324252627
282930
Мы в Facebook
Посетители сайта
Время посещения
Copyright MyCorp © 2019
Яндекс.Метрика
Яндекс цитирования Check PageRank
Онлайн всего: 1
Гостей: 1
Пользователей: 0