可达图论文

容错系统中故障检测与同步功能的建模
论文摘要容错系统是复杂的冗余系统,各冗余模块协调工作,共同完成系统容错功能。容错系统中的功能模型是容错系统的核心,在以往关于容错系统研究中,基于自然语言、流程图的描述方式不能直...
基于Petri网的FMS建模与调度研究
论文摘要柔性制造系统(FMS)的设计、实现过程是相当复杂的，它具有耗资大、风险大、技术密集的特点，所以需要在系统投入实施和运行之前，找到一种合适的方法对柔性制造系统进行清楚准确...