论文部分内容阅读
Petri网凭借其描述异步并发和图形表示的突出能力成为了系统建模、行为分析的一个有力的工具，其应用也日趋广泛。然而，由其节点过多而引致的“状态空间爆炸”问题则一直是阻碍Petri网发展的瓶颈，尤其是在面对复杂而庞大的系统时，系统分析将会变得非常复杂。源于此，Petri网学者的工作重点之一就是要对Petri网进行有效化简，将Petri网分解为若干相对简单的子网。电网故障诊断是电力系统自动化的重要内容之一。电网系统故障的产生、传播是一个典型的离散、并发、动态行为，非常适合将Petri网技术应用于