【摘要】 Ｒａｍａｄｇｅ和Ｗｏｎｈａｍ所提出的基于形式语言／自动机的逻辑监控理论中，对于多个子过程组成的复杂离散事件问题，采用Ｓｃｈｕｆｆｌｅ积得到整个系统的积系统模型描述，其中排除了各子过程之间事件的同时发生，即未考虑并发非确定性。然而，从原理上及工程意义角度来说，任何子过程之间的事件都可以且可能同时发生（并发）。因此考虑子过程间事件并发下离散事件问题的监控即是讨论中心。更多还原

【Abstract】 In the work of Ramage and Wonham,concurrent dicrete event processes are modeled by Schuffle Products under the assumption that the actions of processes are asynchronous and independent. The modeling method of generalized synchronous products is presented and some supervisory problems of discrete event system with synchronized events are discussed.更多还原