论文部分内容阅读
Ramadge和Wonham所提出的基于形式语言/自动机的逻辑监控理论中,对于多个子过程组成的复杂离散事件问题,采用Schuffle积得到整个系统的积系统模型描述,其中排除了各子过程之间事件的同时发生,即未考虑并发非确定性,然而,从原理上及工程有度来说,在任何子过程之间的事件都可以且可能同时发生(并发)。因此考虑子过程间事件并发下离散事件问题的监控即是讨论中心。