DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
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.
Main Author: | |
---|---|
Format: | Article |
Language: | Russian |
Published: |
Don State Technical University
2011-08-01
|
Series: | Advanced Engineering Research |
Subjects: | |
Online Access: | https://www.vestnik-donstu.ru/jour/article/view/823 |