Buchumschlag

Application of Petri component nets in the checking task of parallel distributed systems

The paper discusses the Kripke structures of two mathematical models of parallel distributed systems that are presented by Petri detailed net and its component net. Bisimularity of these Kripke structures is displayed. The possibility for checking the validity of the logical formula of temporal logi...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
1. Verfasser:	Lukyanova, E.A.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 004.021: 004.312.4: 004.414.2
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/699
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

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

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

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

Information technology to ensure the survivability of sensor networks
von: Petrivskyi, V.Y., et al.
Veröffentlicht: (2022)

Macro-operations extraction out of computation process array sorting data
von: Paulin, O.N., et al.
Veröffentlicht: (2018)

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

Grid application development framework
von: Prila, O.A.
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)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

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

Development of agent recommendation system of virtual university based on JADE
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Distributed implementation of neuroevolution of augmenting topologies method
von: Achour, I.Z., et al.
Veröffentlicht: (2021)

Static method of consistency and completeness checking in formal model of distributed software systems
von: Kolchin, A.V., et al.
Veröffentlicht: (2025)

The means of the apache hadoop for parallel and distributed programs
von: Rukhlis, K.A., et al.
Veröffentlicht: (2026)

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

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

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages
von: Novokshonov, A.K.
Veröffentlicht: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
von: Palagin, O.V., et al.
Veröffentlicht: (2025)

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

Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., 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)

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)

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

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

Compositional-nominative logics over hierarchical data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2026)

Stability and monotonicity of programs for structural data transformations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2026)

About development of an ontological toolkit
von: Palagin, A.V., et al.
Veröffentlicht: (2015)

About using special data structures in coverage algorithms
von: Paulin, O.N., et al.
Veröffentlicht: (2020)

The grammar of Petri-object model visual programming language
von: Dyfuchyn, А.J., et al.
Veröffentlicht: (2022)

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

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
von: Levchenko, R.I., et al.
Veröffentlicht: (2026)

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

A Parallel Genetic Algorithm to Solve Scheduling the University Class Problem
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Infrastructure FOR XML-models transformation
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

On unification of processing methods of the structured information
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

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

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

Entity-substance characteristics of educational environment
von: Parfirova, T.S.
Veröffentlicht: (2026)