|
|||||
|
|
| 基于Petri网出现序列的继电保护业务模型 | |
| 作者姓名： | 李妍霏 杨国生 王丽敏 王文焕 申华 詹荣荣 郭鹏 |
| 摘 要： | 针对现有UML等对象化的继电保护业务建模方法难以进行语义分析和校验的问题,根据Petri网能定量分析系统安全性、可达性和有界性的特点,提出一种基于Petri网的继电保护业务模型.通过UML活动图初步构造继电保护业务模型,将活动图映射成Petri网模型,再将该Petri网进一步转化成出现序列,对出现序列的结构和语义进行校... |
| 关 键 词： | Petri网 出现序列 继电保护 业务模型 |