Behavioral characterization of discrete event systems

Abstract

A b s t r a c t What kind of input output behavior must a system have to be realizable by DEVS? We present a characterimion of discrete event systems in an axiomatic way, showing a construction of a DEVSfrom a discrete event IOFOthat satisfies causality and st&*onarity properties. Each system is formalized as a structure. And the relationship between their properties is investigatedfram the view of mathematical general systems theory. m e result in the paper is a step forward an abstract theory of DEVS 7WliZaSiO?L I o(t) e X } is called an event time. 0-8186-4020-0/93 $03.00 0 1993 IEEE