Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2025
Main Author:	Lukyanova, E.A.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 004.021: 004.312.4: 004.414.2
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/699
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

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

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

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

Information technology to ensure the survivability of sensor networks
by: Petrivskyi, V.Y., et al.
Published: (2022)

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

Macro-operations extraction out of computation process array sorting data
by: Paulin, O.N., et al.
Published: (2018)

Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
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)

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

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

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

Development of agent recommendation system of virtual university based on JADE
by: Glybovets, M.M., et al.
Published: (2017)

Distributed implementation of neuroevolution of augmenting topologies method
by: Achour, I.Z., et al.
Published: (2021)

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

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

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

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages
by: Novokshonov, A.K.
Published: (2018)

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

About development of an ontological toolkit
by: Palagin, A.V., et al.
Published: (2015)

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)

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

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

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

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

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

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

The grammar of Petri-object model visual programming language
by: Dyfuchyn, А.J., et al.
Published: (2022)

About using special data structures in coverage algorithms
by: Paulin, O.N., et al.
Published: (2020)

A Parallel Genetic Algorithm to Solve Scheduling the University Class Problem
by: Glybovets, M.M., et al.
Published: (2017)

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

Infrastructure FOR XML-models transformation
by: Glybovets, M.M., et al.
Published: (2025)

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

On unification of processing methods of the structured information
by: Doroshenko, A.Yu., et al.
Published: (2025)

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

Game model of user interaction in heterogeneous distributed environments
by: Ignatenko, O.P., et al.
Published: (2017)

Constraint programming in insertion modeling system
by: Letichevsky, O.A., et al.
Published: (2025)

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

Hibrid approach to processing incomplete stream data in distributed real-time systems
by: Zhyliuk, Y., et al.
Published: (2025)