Synthesis of Controllers of Processes Modeled as Colored Petri Nets Mbi MakunguMichel BarbeauRichard St-Denis OriginalPaper Pages: 147 - 169
Concurrent Sample Path Analysis of Discrete Event Systems Christos G. CassandrasChristos G. Panayiotou OriginalPaper Pages: 171 - 195