Зображення обкладинки

Using Petri nets to design parallel applications

A set of CAA-M schemes corresponding to the most common workflow templates has been created. This makes it possible to use both approaches in order to transform the representations of the algorithm and use their features and advantages (modelling or a set of formal transformations). Using the consid...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автори:	Pogorilyy, S.D., Vitel, D.Yu.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 004.4
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/776
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Principles of modeling GPGPU-applications using Petri nets
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Creation of design methods for the CUDA hardware and software platform
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Research of the synchronization patterns and their use in GPGPU
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Application of Petri component nets in the checking task of parallel distributed systems
за авторством: Lukyanova, E.A.
Опубліковано: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Transition systems as method of designing applications in GPGPU technology
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2018)

Analysis of storage and display frameworks based on aspect-oriented technologies
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Managing scientific workflows in grid systems
за авторством: Tverdokhlib, E.M., та інші
Опубліковано: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
за авторством: Slabospitskaya, О.A.
Опубліковано: (2017)

One approach for advanced internet-programs creation on example of widget-programs developing
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Рaradigms of programming assembling type in software engeneering
за авторством: Lavrischeva, E.M.
Опубліковано: (2025)

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

V.M. Glushkov Kyiv School of Programming
за авторством: Andon, P.I.
Опубліковано: (2025)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
за авторством: D. K. Glomozda, та інші
Опубліковано: (2018)

Petri Net Approach for Design Generalized Multi-User System
за авторством: S. M. Voronoj, та інші
Опубліковано: (2013)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: Iwaniak, M., та інші
Опубліковано: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: M. Iwaniak, та інші
Опубліковано: (2012)

On decompilation of VLIW executable files
за авторством: Jakub, K.
Опубліковано: (2017)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Heart Modeling on the Basis of Petri Nets
за авторством: V. V. Kuzmuk, та інші
Опубліковано: (2014)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

Managing data center resources using heuristic search
за авторством: Zharikov, E.V.
Опубліковано: (2018)

The use of the petri net method in the simulation modeling of mitochondrial swelling
за авторством: Yu. V. Danylovych, та інші
Опубліковано: (2016)

Research and development of Johnson's algorithm parallel schemes in GPGPU technology
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2018)

Static analysis of .NET programs using rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2020)

Dynamic Modeling of Enterprise on the Basis of Petri Nets
за авторством: Ju. M. Lisetskij
Опубліковано: (2018)

Connection between Petri nets and Polish notation
за авторством: V. M. Statkevich
Опубліковано: (2016)

Flow based bonet traffic detection using AI
за авторством: Panchuk, B.O.
Опубліковано: (2023)

Modeling of the E-marketing Logistics Subsystem Using the Fuzzy Petri Net
за авторством: V. V. Vitlinskyi, та інші
Опубліковано: (2014)

Modelling of the teaching process in logistic systems by using of nested Petri Nets
за авторством: S. Minakova
Опубліковано: (2014)

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

Grid application development framework
за авторством: Prila, O.A.
Опубліковано: (2025)

A method of two-tier storage management in virtualized data center
за авторством: Zharikov, E.V.
Опубліковано: (2019)

Modified method of searching keywords and keyterms in text data
за авторством: Bukhalenkov, D.O., та інші
Опубліковано: (2024)

Parallel distributed implementation of parallel processing simulation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Development support system formation and analysis of annual reports of institutions of NAS of Ukraine
за авторством: Tverdokhlib, Ye.M., та інші
Опубліковано: (2017)

The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)

The parallel Petri-object simulation algorithm
за авторством: I. V. Stetsenko
Опубліковано: (2017)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)