Discrete events and general systems theory
Petr Kozák · International Journal of Systems Science · 1992
A new formal approach to the qualitative modelling of general time systems is introduced. The formalism is suitable for general non-deterministic systems with non-numerically valued inputs and outputs, e.g. for discrete event systems. The following basic concepts of systems theory, observability, causality, determinism and interconnections of systems, are defined using an input-output approach to the modelling. The concept of the state is introduced as a secondary one. A general definition of the discrete event systems is given. Some fundamental properties of systems are proved. A real-time extension of the supervisory control problem given by Ramadge and Wonham is formulated. Seven examples are provided.