Discrete event systems : dynamic versus static topology
van Km Kees Hee, Pmp Paul Rambags · TU/e Research Portal · 1989
In this paper, we present two models for discrete event systems: A formal Actor model, based upon Agha [1], and the Des model [5].The former has a dynamic topology whereas the latter has a fixed interaction structure.We introduce an equivalence relation for discrete event systems and we construct an equivalent Des for each Actor system.Furthermore, we prove several results, such as the serializability of events in the Actor model and the establishment that every name-generating mechanism is isomorp~ic to the method introduced by Agha, i.e., to extend an existing name with some element.