Видавництво 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.