| Русский Русский | English English |
   
Главная Current Issue
13 | 11 | 2019
10.14489/vkit.2019.09.pp.019-026

DOI: 10.14489/vkit.2019.09.pp.019-026

Мустафаев В. А., Салманова М. Н.
МОДЕЛИРОВАНИЕ ДИНАМИЧЕСКИХ ВЗАИМОДЕЙСТВУЮЩИХ ПРОЦЕССОВ С ПРИМЕНЕНИЕМ НЕЧЕТКИХ ВРЕМЕННЫ́Х СЕТЕЙ ПЕТРИ ТИПА VF
(с. 19-26)

Аннотация. Рассмотрено моделирование динамических взаимодействующих процессов, описывающих функционирование сложных объектов в условиях неопределенности. Формализм, предназначенный для разработки и анализа моделей сложных параллельных и распределенных систем, базируется на математическом аппарате временны́х сетей Петри (СП), представляющих собой обобщенные нечеткие временны́е СП типа Vf . Разработан алгоритм функционирования нечетких временны́х СП типа Vf . Предлагаемый алгоритм обеспечивает решение задачи разрешимости срабатывания переходов, находящихся в состояниях конфликта, наложение нечеткой структуры на маркировку сети нечеткими законами композиции, определяющими значения степеней принадлежности входных и выходных позиций переходов. Модель параллельно функционирующих обрабатывающих устройств представлена в виде нечетких временны́х СП типа Vf . Предложен подход для моделирования динамических взаимодействующих процессов, основанный на матричной теории СП, которая обеспечивает эффективную форму представления структуры, динамику состояния модели, пространство достижимых состояний и последовательность срабатывания переходов в виде совокупности векторов и матриц. На примере производственного модуля механообработки показано, что принятые правила срабатывания переходов полностью описывают процесс функционирования нечетких временны́х  СП типа Vf . В результате симуляции получено дерево достижимости в виде последовательности матриц.

Ключевые слова:  модель; алгоритм; нечеткие временны́е сети Петри; матрица инциденций; модуль механообработки; трапециевидный нечеткий интервал; функция принадлежности.

 

Mustafayev V. A., Salmanova M. N.
MODELING THE DYNAMIC INTERACTION PROCESSES USING OF FUZZY TIMED PETRI NETS OF TYPE VF
(pp. 19-26)

Abstract. The dynamic interacting processes modeling is examined in the article, which shows the complex objects operation in the condition of uncertainty. A formalism intended for the development and analysis models of complex parallel and distributed systems is proposed. It is based on the mathematical apparatus of the fuzzy timed Petri nets (FTPN) of type Vf, representing generalized FTPN of type Vf , combining deterministic and non-deterministic character. The algorithm for the functioning FTPN of type Vf is developed. The proposed algorithm provides a solution to the problem of the triggering solvability of transitions occurring in conflict states, the imposition of a fuzzy structure on the network marking with fuzzy composition laws that determine the values the degrees of belonging the input and output transition positions. The model of parallel functioning processing devices is presented in the FTPN form of type Vf. An approach is proposed for modeling dynamic interacting processes based on the matrix theory of Petri nets, that provides an effective form of structure representation, model state dynamics, the space of achievable states, and triggering transitions sequence in the form of vectors and matrices set. On the example of the production model of mechanical processing, it is shown that the accepted triggering transitions rules fully show the functioning FTPN process of type Vf. As a result of the simulation, the reachability tree is obtained as a sequence of matrices.

Keywords: Model; Algorithm; Fuzzy timed Petri nets; Incident matrix; Machining module; Trapezoidal fuzzy interval; Membership function.

Рус

В. А. Мустафаев, М. Н. Салманова (Сумгаитский государственный университет, Сумгаит, Азербайджанская Республика) E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript  

Eng

V. A. Mustafayev, M. N. Salmanova (Sumgayit State University, Sumgayit, Republic of Azerbaijan) E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript  

Рус

1. Емельянова Г. М., Смирнова Е. И. Сети Петри в задачах моделирования сложных систем. Нечеткая сеть Петри. М., 2002. 264 с.
2. Колесов Ю. Б., Сениченков Ю. Б. Моделирование систем. Динамические и гибридные системы. СПб.: БХВ-Петербург, 2006. 284 с.
3. Егоров А. Ф., Шайкин А. Н. Логическое моделирование в условиях неопределенности на базе нечетких интервальных сетей Петри // Изв. РАН. Теория и системы управления. 2002. № 2. С. 134 – 139.
4. Holliday M. А., Vernon М. K. A Generalized Timed Petri Net Model for Performance Analysis // IEEE Transactions on Software Engineering. 1987. V. Se–13, No. 12. P. 1297-1310.
5. Леоненков А. В. Нечеткое моделирование в среде Matlab и fuzzyTECH. СПб.: БХВ-Петербург, 2005. 736 с.
6. Борисов В. В., Круглов В. В, Федулов А. С. Нечеткие модели и сети. М.: Телеком, 2012. 284 с.

Eng

1. Emel'yanova G. M., Smirnova E. I. (2002). Petri in the problems of modeling complex systems. Fuzzy Petri net. Moscow. [in Russian Language]
2. Kolesov Yu. B., Senichenkov Yu. B. (2006). Modeling systems. Dynamic and hybrid systems. Saint Petersburg: BHV-Peterburg. [in Russian Language]
3. Egorov A. S., Shaykin A. N. (2002). Logical modeling under uncertainty based on fuzzy interval Petri nets. Izvestiya RAN. Teoriya i sistemy upravleniya, (2), pp. 134 – 139. [in Russian Language]
4. Holliday M. А., Vernon М. K. (1987). A Generalized Timed Petri Net Model for Performance Analysis. IEEE Transactions on Software Engineering, Vol. Se–13, (12). P. 1297-1310.
5. Leonenkov A. V. (2005). Fuzzy modeling in Matlab and fuzzy TECH. Saint Petersburg: BHV-Peterburg. [in Russian Language]
6. Borisov V. V., Kruglov V. V., Fedulov A. S. (2012). Fuzzy models and networks. Moscow: Telekom. [in Russian Language]

Рус

Статью можно приобрести в электронном виде (PDF формат).

Стоимость статьи 350 руб. (в том числе НДС 18%). После оформления заказа, в течение нескольких дней, на указанный вами e-mail придут счет и квитанция для оплаты в банке.

После поступления денег на счет издательства, вам будет выслан электронный вариант статьи.

Для заказа скопируйте doi статьи:

10.14489/vkit.2019.09.pp.019-026

и заполните  форму 

Отправляя форму вы даете согласие на обработку персональных данных.

.

 

Eng

This article  is available in electronic format (PDF).

The cost of a single article is 350 rubles. (including VAT 18%). After you place an order within a few days, you will receive following documents to your specified e-mail: account on payment and receipt to pay in the bank.

After depositing your payment on our bank account we send you file of the article by e-mail.

To order articles please copy the article doi:

10.14489/vkit.2019.09.pp.019-026

and fill out the  form  

 

.

 

 

 
Search
Баннер
Баннер
Журнал КОНТРОЛЬ. ДИАГНОСТИКА
Баннер
Баннер
Rambler's Top100 Яндекс цитирования