Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автор:	Lukyanova, E.A.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 004.021: 004.312.4: 004.414.2
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/699
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Principles of modeling GPGPU-applications using Petri nets
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Information technology to ensure the survivability of sensor networks
за авторством: Petrivskyi, V.Y., та інші
Опубліковано: (2022)

Macro-operations extraction out of computation process array sorting data
за авторством: Paulin, O.N., та інші
Опубліковано: (2018)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Distributed implementation of neuroevolution of augmenting topologies method
за авторством: Achour, I.Z., та інші
Опубліковано: (2021)

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages
за авторством: Novokshonov, A.K.
Опубліковано: (2018)

About using special data structures in coverage algorithms
за авторством: Paulin, O.N., та інші
Опубліковано: (2020)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

Renaissance of actor model application to the development of parallel and distributed systems
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Parallel distributed implementation of parallel processing simulation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)

Optimization of parallel perceptron for central processing units
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: Iwaniak, M., та інші
Опубліковано: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: M. Iwaniak, та інші
Опубліковано: (2012)

The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)

Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
за авторством: D. K. Glomozda, та інші
Опубліковано: (2018)

A Parallel Genetic Algorithm to Solve Scheduling the University Class Problem
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Grid application development framework
за авторством: Prila, O.A.
Опубліковано: (2025)

Heart Modeling on the Basis of Petri Nets
за авторством: V. V. Kuzmuk, та інші
Опубліковано: (2014)

Security basic model for applied tasks of the distributed information system
за авторством: Rodin, Y.S., та інші
Опубліковано: (2021)

Parallel distributed system for social networks streaming data analysis
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

First-order logics with partial predicates for checking variable definedness
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

Connection between Petri nets and Polish notation
за авторством: V. M. Statkevich
Опубліковано: (2016)

Dynamic Modeling of Enterprise on the Basis of Petri Nets
за авторством: Ju. M. Lisetskij
Опубліковано: (2018)

Game model of user interaction in heterogeneous distributed environments
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2017)

Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations
за авторством: Stepaniuk, M.Yu.
Опубліковано: (2025)

Problem of creation of groups of agents in prosecution/evasion tasks on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2025)

Hibrid approach to processing incomplete stream data in distributed real-time systems
за авторством: Zhyliuk, Y., та інші
Опубліковано: (2025)

The Code is based on random numbers with irregular distribution
за авторством: Mikhersky, R.M.
Опубліковано: (2025)

Information resources distribution between automated workstations in local corporative networks
за авторством: Pursky, O.I., та інші
Опубліковано: (2023)

Method of managing the execution of tasks of a multithreaded program according to a given dependency graph
за авторством: Nesterenko, K.P., та інші
Опубліковано: (2024)

Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)

The use of the petri net method in the simulation modeling of mitochondrial swelling
за авторством: Yu. V. Danylovych, та інші
Опубліковано: (2016)

Petri Net Approach for Design Generalized Multi-User System
за авторством: S. M. Voronoj, та інші
Опубліковано: (2013)