Discrete Event Systems: Models and Applications IIASA Conference Sopron, Hungary, August 3–7, 1987
Research in discrete systems is expanding rapidly, and specialized languages are proliferating. This book is a remarkable attempt to bring together researchers from a diverse range of application areas. This is the proceeding of a workshop on Discrete Event Systems Models. The 30 participants includ...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1988, 1988
|
Edition: | 1st ed. 1988 |
Series: | Lecture Notes in Control and Information Sciences
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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