Discrete Event Systems: Models and Applications

Finitely Recursive Processes.- Reducibility in analysis of coordination.- Distributed reachability analysis for protocol verification environments.- A tool for the automated verification of eccs specifications of osi protocols.- Supervisory control of discrete event systems: A survey and some new results.- Using trace theory to model discrete events.- Protocol verification using discrete-event models.- Analysis and control of discrete event systems represented by petri nets.- Data flow programming for parallel implementation of digital signal processing systems.- On an analogy of minimal realizations in conventional and discrete-event dynamic systems.- Representation, analysis and simulation of manufacturing systems by Petri net based models.- The SMARTIE framework for modelling discrete dynamic systems.- A hierarchical framework for discrete event scheduling in manufacturing systems.- A selected and annotated bibliography on perturbation analysis.- Analog events and a dual computing structure using analog and digital circuits and operators.- Robust identification of discrete-time stochastic systems.- Derivatives of probability measures-concepts and applications to the optimization of stochastic systems.- The separation of jets and some asymptotic properties of random sequences.