10.14489/vkit.2015.04.pp.003-008

DOI: 10.14489/vkit.2015.04.pp.003-008

Фатхи Дм. В., Фатхи В. А., Фатхи Д. В.
НЕОРИЕНТИРОВАННЫЕ ДВУДОЛЬНЫЕ МУЛЬТИГРАФЫ КАК ИНСТРУМЕНТ, РАСШИРЯЮЩИЙ МОДЕЛИРУЮЩИЕ ВОЗМОЖНОСТИ СЕТЕЙ ПЕТРИ
(с. 3-8)

Аннотация. Рассмотрены вопросы разработки инструментов моделирования в области информационных и телекоммуникационных сис-тем с распределенной архитектурой. Для расширения классов моделируемых объектов, предложены сети Т. Предложены ее фор-мальное определение, алгебраическая структура и графическое представление. Объяснены основные понятия сетей Т. Показана динамика функционирования сети Т с помощью графа достижимости и ее возможности обеспечения отказоустойчивости и моделирования противоположно направленных параллельных процессов, а также использования графа достижимости и матричного метода для анализа сетей Т. Установлено, что класс сетей Т и сетей Петри не эквивалентны. Приведен пример сети Т для обхода тупика в модели распределения ресурсов.

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

Fatkhi Dm. V., Fatkhi V. A., Fatkhi D. V.
UNDIRECTED BIPARTITE MULTIGRAPHS TO REPRESENT REVERSING PROCESSES IN SYSTEMS MODELED BY PETRI NETS
(pp. 3-8)

Abstract. Work is devoted to the development of modeling tools in the field of information and telecommunications systems with a distributed architecture. At the moment in this area are used for modeling Petri nets – oriented bipartite multigraphs. Each transition in the Petri nets for modeling processes run only in one direction. Petri nets do not allow to simulate the reverse process – get a condition set for postcondition events. In order to extend the classes of modeled objects proposed network T. Network T – is an undirected bipartite multigraph. The paper presented a formal definition of the network T. Introduced algebraic structure network T and its graphical representation. Explains the basic concepts of a networks T. In the network T edges between places and transitions are not oriented and allow you to run any transitions in the permitted direction. Describe the dynamics of functioning network T using the reach ability graph. It is shown that the class networks T and Petri nets are not equivalent. As an example of the network T is shown by passing deadlock in resource allocation model. In conclusion, mention the possibility of network T to provide fault tolerance and simulate opposing parallel processes. Indicate the possibility of using reach ability graph and matrix method for the analysis of networks T.

Keywords: Reverse process; Start transition bidirectional switching; Transition reach ability graph; Bypassing deadlock; Conflicts.

+ - Информация об авторах (About the Authors) Click to collapse

Рус

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

Eng

Dm. V. Fatkhi (Rostov Law Institute of the Ministry of Internal Affairs of the Russian Federation, Rostov-on-Don);
V. A. Fatkhi, D. V. Fatkhi (Don StateTechnical University, Rostov-on-Don) E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript

+ - Библиографический список (References) Click to collapse

Рус

1. Питерсон Дж. Теория сетей Петри и моделиро-вание систем / пер. с англ. М.: Мир, 1984. 264 с.
2. Fatkhi D. V., Medyantsev D. V. Modeling of Multiprocessor System on the Basis of Clored Stochastic / Time-Based Petri Nets with Active Transitions // Engineering Simulation. 1995. V. 13.
3. Фатхи Дм. В., Фатхи Д. В., Фатхи В. А. Нечеткие сети Петри с альтернативно маркируемыми бинар-ными позициями // Информационная безопасность регионов. 2009. № 2(5). С. 33 – 35.
4. Фатхи Дм. В., Фатхи В. А., Фатхи Д. В. Повышение мощности разрешения моделей информационной безопасности на основе модификации ингибиторных сетей Петри // Информационная безопасность регионов. 2010. № 2(7). С. 68 – 70.
5. Левин И. И. Расширения сетей Петри для анализа параллельных вычислений // Вестник компью-терных и информационных технологий. 2008. № 9. С. 35 – 44.
6. Мустафаев В. А. Анализ нечетких продукционных моделей динамических взаимодействующих процес-сов // Вестник компьютерных и информационных техно-логий. 2012. № 5. С. 25 – 30.

Eng

1. Piterson Dzh. (1984). Theory of Petri nets and simu-lation of the systems. Moscow: Mir.
2. Fatkhi D. V., Medyantsev D. V. (1995). Modeling of multiprocessor system on the basis of clored stochastic. Time-based Petri nets with active transitions. Engineering Simulation, 13.
3. Fatkhi Dm. V., Fatkhi D. V., Fatkhi V. A. (2009). Fuzzy Petri nets with alternative labeled binary positions. Informatsionnaia bezopasnost' regionov, 5(2), pp. 33-35.
4. Fatkhi Dm. V., Fatkhi V. A., Fatkhi D. V. (2010). Increasing capacity resolution models of information security based on a modification of the inhibitor Petri nets. Informatsionnaia bezopasnost' regionov,7(2), pp. 68-70.
5. Levin I. I. (2008). Extensions of Petri nets for the analysis of parallel computations. Vestnik komp'iuternykh i informatsionnykh tekhnologii, (9).
6. Mustafaev V. A. (2012). Analysis of fuzzy produc-tion models of dynamical connected process. Vestnik komp'iuternykh i informatsionnykh tekhnologii, (5).

+ - Заказать электронную версию статьи (Purchase digital version of a single article) Click to collapse

Рус

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

DOI: 10.14489/vkit.2015.04.pp.003-008

Скопируйте DOI статьи и перейдите по ссылке https://id-spektr.ru/product/pokupka-elektronnoy-stati-iz-zhurnala-vestnik-kompyuternyh-i-informatsionnyh-tehnologiy

В комментарии к заказу обязательно укажите DOI статьи.

Eng

This article is available in electronic format (PDF).

DOI: 10.14489/vkit.2015.04.pp.003-008

Copy the article DOI and follow the link https://id-spektr.ru/product/pokupka-elektronnoy-stati-iz-zhurnala-vestnik-kompyuternyh-i-informatsionnyh-tehnologiy

Please specify the article DOI in the order comments.