Издательство 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. | 
