Summary: Interacting DES: Modelling and Analysis
Institute for Software Integrated Systems
Nashville, TN, USA
W. M. Wonham
Department of Electrical Engineering
University of Toronto
Toronto, Ontario, Canada
Abstract In this paper a modelling and analysis par-
adigm for multiprocess discrete event systems is pre-
sented within the formal language and automata set-
tings. The proposed modelling structure features explicit
representation of the system components as well as their
interaction constraints. The model is then extended for
hierarchical multilevel systems.
Keywords: Multiprocess discrete event systems, be-
havioural analysis, hierarchical systems.