Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2025
Main Authors:	Pogorilyy, S.D., Vitel, D.Yu.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 004.4
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/776
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

Research of the synchronization patterns and their use in GPGPU
by: Pogorilyy, S.D., et al.
Published: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
by: Glybovets, M.M., et al.
Published: (2017)

Application of Petri component nets in the checking task of parallel distributed systems
by: Lukyanova, E.A.
Published: (2025)

Analysis of storage and display frameworks based on aspect-oriented technologies
by: Glybovets, M.M., et al.
Published: (2025)

Managing scientific workflows in grid systems
by: Tverdokhlib, E.M., et al.
Published: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
by: Slabospitskaya, О.A.
Published: (2017)

One approach for advanced internet-programs creation on example of widget-programs developing
by: Glybovets, M.M., et al.
Published: (2025)

Рaradigms of programming assembling type in software engeneering
by: Lavrischeva, E.M.
Published: (2025)

Transition systems as method of designing applications in GPGPU technology
by: Kryvyi, S.L., et al.
Published: (2018)

V.M. Glushkov Kyiv School of Programming
by: Andon, P.I.
Published: (2025)

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

Automated design of programs for .NET platform using Task Parallel Library
by: Doroshenko, А.Yu., et al.
Published: (2020)

On decompilation of VLIW executable files
by: Jakub, K.
Published: (2017)

Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
by: D. K. Glomozda, et al.
Published: (2018)

Petri Net Approach for Design Generalized Multi-User System
by: S. M. Voronoj, et al.
Published: (2013)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

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

Distributed Transactions Modeling with the Use of Petri Nets
by: Iwaniak, M., et al.
Published: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
by: Iwaniak, M., et al.
Published: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
by: M. Iwaniak, et al.
Published: (2012)

Managing data center resources using heuristic search
by: Zharikov, E.V.
Published: (2018)

Parallel distributed implementation of parallel processing simulation
by: Doroshenko, A.Yu., et al.
Published: (2025)

Grid application development framework
by: Prila, O.A.
Published: (2025)

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

Static analysis of .NET programs using rewriting rules
by: Mamedov, T.A., et al.
Published: (2020)

Injection of functional dependencies using inversion of control container
by: Glybovets, M.M., et al.
Published: (2019)

Heart Modeling on the Basis of Petri Nets
by: V. V. Kuzmuk, et al.
Published: (2014)

The use of the petri net method in the simulation modeling of mitochondrial swelling
by: Yu. V. Danylovych, et al.
Published: (2016)

Flow based bonet traffic detection using AI
by: Panchuk, B.O.
Published: (2023)

Optimization of parallel perceptron for central processing units
by: Doroshenko, A.Yu., et al.
Published: (2025)

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

Automated design of programs for .NET platform using Task Parallel Library
by: Yu. Doroshenko, et al.
Published: (2020)

Dynamic Modeling of Enterprise on the Basis of Petri Nets
by: Ju. M. Lisetskij
Published: (2018)

Connection between Petri nets and Polish notation
by: V. M. Statkevich
Published: (2016)

A method of two-tier storage management in virtualized data center
by: Zharikov, E.V.
Published: (2019)

Modeling of the E-marketing Logistics Subsystem Using the Fuzzy Petri Net
by: V. V. Vitlinskyi, et al.
Published: (2014)

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

Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
Published: (2025)