Abstract
Many man-made systems have discrete event mechanism. This paper first shows briefly a way how to construct a universal state space representations of a general discrete event system that is an input-output system with past-determinacy, stationarity, the discrete event input space, and discrete event-determinacy. The constructed state space representation for a discrete event system is minimal in a class of dynamical system representations of the system. This realization theory provides the fact that a reduced and reachable DEVS, which is originated by Zeigler[1], is unique up to isomorphism in the class of discrete event dynamical system representations. In this sense DEVS has concise information to describe discrete event dynamics. Since the Petri net formalism, that is a bit different from the DEVS formalism, is also used for the design and analysis of discrete event systems, some relation between DEVS and Petri nets is considered.
Preview
Unable to display preview. Download preview PDF.
References
B. P. Zeigler, Theory of modelling and simulation. John Wiley, 1976.
-, Multifaceted modeling and discrete event simulation. Academic, 1984.
J. Peterson, Petri net theory and the modeling of systems, Prentice-Hall, 1981.
M. D. Mesarovic and Y. Takahara, Mathematical foundation of general systems theory. Academic, 1975.
-, Abstract systems theory. (Lecture Notes in Control and Information Science 116), Springer, 1989.
R. Sato, H. praehofer, F. Pichler: Realization theory of general discrete event systems and the uniqueness problem of DEVS formalism, Inst. of Socio-Economic Planning DP-625, University of Tsukuba, 1995.
R. Sato and H. praehofer: A Discrete Event System Model of Business System — A Systems Theoretic Foundation for Information Systems Analysis: Part 1, submitted.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sato, R. (1996). Toward a unified theory of discrete event systems. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034750
Download citation
DOI: https://doi.org/10.1007/BFb0034750
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60748-9
Online ISBN: 978-3-540-49358-7
eBook Packages: Springer Book Archive