A Model and Algorithm for Analysis of Discrete Event Systems with Structural Changes | IEEE Conference Publication | IEEE Xplore