检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]解放军信息工程大学信息工程学院,河南郑州450002
出 处:《计算机与现代化》2009年第1期34-37,共4页Computer and Modernization
摘 要:为了优化火电厂管控信息系统,提出了基于时序Petri网的火电厂管控信息系统模型研究。首先提出了时序Petri网的分层建模方法,并给出了时序Petri网对复杂系统的建模步骤;其次,建立了整个火电厂管控信息系统的时序Petri网模型;再次,为了更好地分析和优化Petri网模型,对其进行了简化;最后,证明了简化后的时序Petri网大大减少了库所和变迁的数量并保持了原网的功能性。In order to optimize integration systems of management and control in power plant, study on model based on temporal Petri net is proposed. Firstly, modeling method of temporal Petri net is brought forward. And the modeling steps are given. Then, temporal Petri net model of the integration systems of management and control in power plant is set up. Thirdly, the Petri net is reduced for better analysis and optimization. In the end, the functionality of reduced Petri net is proved to be the same as original net and the number of places and transitions are reduced.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.118.37.74