| | |
Summary: Interacting DES: Modelling and Analysis
Sherif Abdelwahed
Institute for Software Integrated Systems
Vanderbilt University
Nashville, TN, USA
sherif.abdelwahed@vanderbilt.edu
W. M. Wonham
Department of Electrical Engineering
University of Toronto
Toronto, Ontario, Canada
wonham@control.toronto.edu
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.
|
