基于petri网的文件审批系统工作流建模

以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质进行了验证。结果证明,该技术能够在文件审批系统中进行建模和可行性验证。

分区域广域继电保护的系统结构与故障识别

分区域的继电保护构建了一个很明确的保护体系。为了让广域机电系统发展的更为完善,现在提出了分区域广域继电保护的系统识别保障法,建立了一个比较完整的保护系统。本文将对广域继电保护系统进行分析和阐述,并且加以说明区域保护的主要目的和其具备的优势,以及怎样识别继电系统的故障问题。