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)

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

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

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)

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)

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

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

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)

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

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

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

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)

Research of the synchronization patterns and their use in GPGPU
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)

One approach for advanced internet-programs creation on example of widget-programs developing
von: Glybovets, M.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)

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

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

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

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

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

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

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

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

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

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

Game model of user interaction in heterogeneous distributed environments
von: Ignatenko, O.P., et al.
Veröffentlicht: (2017)

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

Constraint programming in insertion modeling system
von: Letichevsky, O.A., et al.
Veröffentlicht: (2025)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

Hibrid approach to processing incomplete stream data in distributed real-time systems
von: Zhyliuk, Y., et al.
Veröffentlicht: (2025)