Behavioral characterization of discrete event systems

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.<
>