DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS

Show other versions (1)

The method of detecting deadlocks in the distributed systems at the design stage of the system is considered. The system is presented in the form of a model through the formal specification by means of Petri nets.

Bibliographic Details
Published in:	Advanced Engineering Research
Main Author:	Olga F. Babakhyan
Format:	Article
Language:	Russian
Published:	Don State Technical University 2011-08-01
Subjects:	testing parallel programs petri nets deadlocks.
Online Access:	https://www.vestnik-donstu.ru/jour/article/view/823

Similar Items

DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
by: Olga F. Babakhyan
Published: (2018-07-01)

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks
by: Faming Lu, et al.
Published: (2024-01-01)

Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes
by: Husam Kaid, et al.
Published: (2020-07-01)

Design of River System Deadlock Avoidance Supervisor by Using Petri Net
by: Danko Kezić, et al.
Published: (2010-05-01)

A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints
by: Qianlong Zhai, et al.
Published: (2024-01-01)

Controllable Deadlocks in Parallel Resource-Constrained Workflows
by: V. A. Bashkin, et al.
Published: (2014-12-01)

On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions
by: Amal Zaghdoud, et al.
Published: (2024-11-01)

A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis
by: Wei Duan, et al.
Published: (2019-01-01)

On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA
by: Murat Uzam, et al.
Published: (2024-01-01)

Deadlock-Guided Testing
by: Miguel Gomez-Zamalloa, et al.
Published: (2021-01-01)

Colored Resource-Oriented Petri Nets for Deadlock Control and Reliability Design of Automated Manufacturing Systems
by: Adel Al-Shayea, et al.
Published: (2021-01-01)

Incomparable Single Controller for Solving Deadlock Problems of Flexible Manufacturing Systems
by: Ter-Chan Row, et al.
Published: (2023-01-01)

Modeling of parallel program synchronization primitives
by: Oleg S. Kryukov, et al.
Published: (2025-06-01)

Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures
by: Tatiana R. Shmeleva
Published: (2018-04-01)

Enhancement of Computational Efficiency in Seeking Liveness-Enforcing Supervisors for Advanced Flexible Manufacturing Systems with Deadlock States
by: Yen-Liang Pan, et al.
Published: (2020-04-01)

Fault-Recovery and Robust Deadlock Control of Reconfigurable Multi-Unit Resource Allocation Systems Using Siphons
by: Mahmoud Salaheldin Elsayed, et al.
Published: (2021-01-01)

Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs
by: Murat Uzam, et al.
Published: (2024-01-01)

Kronecker Algebra-based Deadlock Analysis for Railway Systems
by: Robert Mittermayr, et al.
Published: (2012-09-01)

Universal Single Controller for Solving Deadlock Problems of Flexible Manufacturing Systems
by: Ter-Chan Row, et al.
Published: (2024-01-01)

An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems
by: Husam Kaid, et al.
Published: (2022-01-01)

One Computational Innovation Transition-Based Recovery Policy for Flexible Manufacturing Systems Using Petri nets
by: Yen-Liang Pan
Published: (2020-03-01)

An Optimal Transition-Based Recovery Policy for Controlling Deadlock Within Flexible Manufacturing Systems Using Graph Technique
by: Mahmoud Salaheldin Elsayed, et al.
Published: (2023-01-01)

Design of an Improved Think Globally Act Locally Approach for the Computation of Petri Nets Based Liveness Enforcing Supervisors of FMSs
by: Murat Uzam, et al.
Published: (2024-01-01)

Fault Detection, Diagnostics, and Treatment in Automated Manufacturing Systems Using Internet of Things and Colored Petri Nets
by: Husam Kaid, et al.
Published: (2023-01-01)

Using the Petri Network to Organize Resource Sharing between Two Processors
by: Firas Al-Abadi
Published: (2009-03-01)

Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources
by: Abdulrahman Al-Ahmari, et al.
Published: (2020-01-01)

Virtual Control Policy for Binary Ordered Resources Petri Net Class
by: Carlos A. Rovetto, et al.
Published: (2016-08-01)

An MIP-Based Deadlock Prevention Policy for Siphon Control
by: Qiaoli Zhuang, et al.
Published: (2019-01-01)

Petri net modeling and simulation of pipelined redistributions for a deadlock-free system
by: Stavros I. Souravlas, et al.
Published: (2015-12-01)

Approach to Solving Deadlock Problem in Multithreading Software
by: I. V. Parfilov, et al.
Published: (2011-03-01)

A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems
by: Muhammad Bashir, et al.
Published: (2017-01-01)

Deadlocks Detection in Multithreaded Applications Based on Source Code Analysis
by: Damian Giebas, et al.
Published: (2020-01-01)

Robust Supervisory Control for Automated Manufacturing Systems With Minimal Decentralized Switch-Buffer Controllers
by: Umar Suleiman Abubakar, et al.
Published: (2024-01-01)

Control Law for Two-Process Flexible Manufacturing Systems Modeled Using Petri Nets
by: Yang Yang, et al.
Published: (2025-02-01)

A Set Covering Approach to Design Maximally Permissive Supervisors for Flexible Manufacturing Systems
by: Yongyao Li, et al.
Published: (2024-05-01)

A Petri Net Method for Compatibility Enforcement to Support Service Choreography
by: Jing Bi, et al.
Published: (2016-01-01)

Deadlock detection, cooperative avoidance and recovery protocol for mixed autonomous vehicles in unstructured environment
by: HongSheng Qi, et al.
Published: (2024-03-01)

Performance Evaluation of WW and WD Concurrency Control Algorithms for Database Management, via Modeling by Colored Petri Net
by: Fatemeh Saadatjoo, et al.
Published: (2017-12-01)

Planning and Optimization of AGV Jobs by Petri Net and Genetic Algorithm
by: Anita Gudelj, et al.
Published: (2012-12-01)

Deadlock in maintaining Wosi Rendani protected forest in Manokwari Regency, West Papua
by: Mahmud Mahmud
Published: (2021-07-01)