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)

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)

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

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

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

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

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

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

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

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

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

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

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

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)

The translator of Petri-object model visual programming language
von: Dyfuchyn, А.Yu.
Veröffentlicht: (2022)

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)

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

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

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

Security basic model for applied tasks of the distributed information system
von: Rodin, Y.S., et al.
Veröffentlicht: (2021)

Parallel distributed system for social networks streaming data analysis
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)

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

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

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

Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations
von: Stepaniuk, M.Yu.
Veröffentlicht: (2025)

Problem of creation of groups of agents in prosecution/evasion tasks on a plane
von: Yalovets, A.L.
Veröffentlicht: (2025)

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

The Code is based on random numbers with irregular distribution
von: Mikhersky, R.M.
Veröffentlicht: (2025)

Information resources distribution between automated workstations in local corporative networks
von: Pursky, O.I., et al.
Veröffentlicht: (2023)

Method of managing the execution of tasks of a multithreaded program according to a given dependency graph
von: Nesterenko, K.P., et al.
Veröffentlicht: (2024)

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)

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)

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

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

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