Interacting DES: modelling and analysis
Sherif Abdelwahed, Walter Murray Wonham · 2004
In this paper a modelling and analysis paradigm for multiprocess discrete event systems is presented within the formal language and automata settings. 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.