On the Interconnection of Asynchronous Control Structures
- 1 October 1975
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 22 (4) , 596-612
- https://doi.org/10.1145/321906.321920
Abstract
The paper is concerned with a class of control systems which can be represented by a graphical model called an MG-control system (MGCS) In particular, the closure propertms of thin class are studmd More precisely, this paper presents necessary and sufficmnt conditions for the com- pomte system, obtained by interconnecting two of these systems, to be represented as an MGCS. These results are then extended to networks composed of several interconnected control systems. In solwng this problem, it is shown that whenever the lnterconnectmn of two or more systems results m a system that is not representable as an MGCS, it m due to the presence of "deadlock" in the composite system. Hence the results of the paper provide a means of detecting deadlock in a network of control systems.Keywords
This publication has 5 references indexed in Scilit:
- On the Equivalence of Asynchronous Control StructuresSIAM Journal on Computing, 1973
- Marked directed graphsJournal of Computer and System Sciences, 1971
- System DeadlocksACM Computing Surveys, 1971
- A Theory of Asynchronous Control NetworksIEEE Transactions on Computers, 1971
- Systems of Asynchronously Operating ModulesIEEE Transactions on Computers, 1971