Analysis of Arbitrarily Large Networks of Discrete-Event Systems. - John G. Thistle; Siamak Nazari (CDC/ECC, 2005)

Blocking in Parameterized Networks of Discrete-Event-Systems. - Siamak Nazari; John G. Thistle (ACC, 2007)

Structural Conditions for Model-checking of Parameterized Networks. - Siamak Nazari; John G. Thistle (ACSD, 2007)

Blocking in Fully Connected Networks of Arbitrary Size. - Siamak Nazari; John G. Thistle (IEEE Trans. Autom. Control., 2012)