Browsing Engineering (Faculty of) by Author "Moodi, Mojtaba"
Now showing items 1-1 of 1
-
Analysis of Parameterized-Chain Networks: The Dependency Graph and Its Full, Consistent Subgraphs
Moodi, Mojtaba (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 ...