Structuring Acyclic Petri Nets for Reachability Analysis and Control G. StremerschR. K. Boel OriginalPaper Pages: 7 - 41
Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks Laurence RozéMarie-Odile Cordier OriginalPaper Pages: 43 - 81
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations Thomas MoorJörg RaischSiu O'Young OriginalPaper Pages: 83 - 107
Evaluation and Optimization of Two-Stage Continuous Transfer Lines Subject to Time-Dependent Failures Xiaolan Xie OriginalPaper Pages: 109 - 122