Behavioral characterization of discrete event systems
Takao Asahi, Bernard P. Zeigler · 2002
Discrete event systems (DEVSs) are characterized in an axiomatic way, showing a construction of a DEVS from a discrete event input-output function observation that satisfies causality and stationarity properties. Each system is formalized as a structure. The relationship between their properties is investigated from the view of mathematical general systems theory. The result is a step toward an abstract theory of DEVS realization.>