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