In: Proceedings of the IEEE, Vol. 77, No. 1, pages 24-38. 1989.
Abstract: The authors consider discrete event models (DEMs) that describe logical system behavior, ie mathematical models that represent the set of traces of sequences of events that the system can execute. Examples of DEM formalisms include state machines, Petri nets, and Hoare's communicating sequential processes. All these formalisms are algebras. A general approach toward constructing model algebras is proposed.