Browsing Electrical and Computer Engineering by Subject "Dependency Graph"
Now showing items 1-1 of 1
-
Analysis of Parameterized-Chain Networks: The Dependency Graph and Its Full, Consistent Subgraphs
(University of Waterloo, 2016-08-17)This thesis studies algorithmic aspects of deadlock analysis for parameterized networks of discrete-event systems. A parameterized network consists of a finite, but arbitrarily large, number of interacting finite-state ...