Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
Hauptverfasser:	Pogorilyy, S.D., Vitel, D.Yu.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 004.4
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/776
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Principles of modeling GPGPU-applications using Petri nets
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Research of the synchronization patterns and their use in GPGPU
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Application of Petri component nets in the checking task of parallel distributed systems
von: Lukyanova, E.A.
Veröffentlicht: (2025)

Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Managing scientific workflows in grid systems
von: Tverdokhlib, E.M., et al.
Veröffentlicht: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
von: Slabospitskaya, О.A.
Veröffentlicht: (2017)

One approach for advanced internet-programs creation on example of widget-programs developing
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Рaradigms of programming assembling type in software engeneering
von: Lavrischeva, E.M.
Veröffentlicht: (2025)

Transition systems as method of designing applications in GPGPU technology
von: Kryvyi, S.L., et al.
Veröffentlicht: (2018)

V.M. Glushkov Kyiv School of Programming
von: Andon, P.I.
Veröffentlicht: (2025)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
von: Parasiuk, I.N., et al.
Veröffentlicht: (2025)

Automated design of programs for .NET platform using Task Parallel Library
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

On decompilation of VLIW executable files
von: Jakub, K.
Veröffentlicht: (2017)

Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
von: D. K. Glomozda, et al.
Veröffentlicht: (2018)

Petri Net Approach for Design Generalized Multi-User System
von: S. M. Voronoj, et al.
Veröffentlicht: (2013)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

Distributed Transactions Modeling with the Use of Petri Nets
von: Iwaniak, M., et al.
Veröffentlicht: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
von: Iwaniak, M., et al.
Veröffentlicht: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
von: M. Iwaniak, et al.
Veröffentlicht: (2012)

Managing data center resources using heuristic search
von: Zharikov, E.V.
Veröffentlicht: (2018)

Parallel distributed implementation of parallel processing simulation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Grid application development framework
von: Prila, O.A.
Veröffentlicht: (2025)

Research and development of Johnson's algorithm parallel schemes in GPGPU technology
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2018)

Static analysis of .NET programs using rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2020)

Injection of functional dependencies using inversion of control container
von: Glybovets, M.M., et al.
Veröffentlicht: (2019)

Heart Modeling on the Basis of Petri Nets
von: V. V. Kuzmuk, et al.
Veröffentlicht: (2014)

The use of the petri net method in the simulation modeling of mitochondrial swelling
von: Yu. V. Danylovych, et al.
Veröffentlicht: (2016)

Flow based bonet traffic detection using AI
von: Panchuk, B.O.
Veröffentlicht: (2023)

Optimization of parallel perceptron for central processing units
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Approaches to realization Yen’s algorithm for systems with the shared memory
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Automated design of programs for .NET platform using Task Parallel Library
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Dynamic Modeling of Enterprise on the Basis of Petri Nets
von: Ju. M. Lisetskij
Veröffentlicht: (2018)

Connection between Petri nets and Polish notation
von: V. M. Statkevich
Veröffentlicht: (2016)

A method of two-tier storage management in virtualized data center
von: Zharikov, E.V.
Veröffentlicht: (2019)

Modeling of the E-marketing Logistics Subsystem Using the Fuzzy Petri Net
von: V. V. Vitlinskyi, et al.
Veröffentlicht: (2014)

Modelling of the teaching process in logistic systems by using of nested Petri Nets
von: S. Minakova
Veröffentlicht: (2014)

Partial evaluation in insertion modeling system
von: Peschanenko, V.S.
Veröffentlicht: (2025)