论文信息 - Interacting DES: modelling and analysis

Interacting DES: modelling and analysis

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.

Sherif Abdelwahed | Walter Murray Wonham

[1] Sherif Salah Abdelwahed,et al. INTERACTING DISCRETE EVENT SYSTEMS: MODELLING, VERIFICATION, AND SUPERVISORY CONTROL , 2002 .

[2] Ryszard Janicki,et al. Specification and Analysis of Concurrent Systems: The Cosy Approach , 1992 .

[3] Grzegorz Rozenberg,et al. Shuffle on Trajectories: Syntactic Constraints , 1998, Theor. Comput. Sci..

[4] Jetty Kleijn,et al. Restrictions and Representations of Vector Controlled Concurrent System Behaviours , 1997, Theor. Comput. Sci..

[5] M. W. Shields. Adequate Path Expressions , 1979, Semantics of Concurrent Computation.

[6] Michael W. Shields. Semantics of parallelism - non-interleaving representation of behaviour , 1997 .

[7] Roy H. Campbell,et al. The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.

[8] Michael W. Shields. Semantics of Parallelism , 1997 .