基于ACSI/MMS网关的电力远动通信的研究

传统的电力远动规约已经难以适应网络化电力远动的发展。以IEC 61850中抽象通信服务接口(ACSI)的信息与服务模型为基础,采用制造报文规范(MMS)作为实时通信协议,建立了基于ACSI/MMS网关的远动通信模型,并设计了由协议转换器、ACSI/MMS服务接口、MMS服务提供者和MMS协议机所构成的ACSI/MMS网关的软件结构。通过基于ACSI/MMS的电力远动原型系统的开发和测试,验证了模型的正确性和方案的可行性。     

Petri网在语义Web服务组合中的应用研究

通过Petri网对语义层次上的web服务组合进行描述与建模,并将Petri网形式化元素加入到web服务中,然后对Petri网模型用XML进行描述,使之能在实际中应用。最后,给出了基于Petri网的Web服务组合应用实例。     

发送-接收问题的Petri网建模与验证

发送者-接收者(S-R)问题可以看作处理共享通道一个有代表性的问题.通过对文献[1]中模型的分析,结合Petri网的特点和网络环境下的系统,给出了一个实用性更强、功能扩展的Petri网模型.该模型允许外部环境加以控制,允许接收者强制取消接收以及发送者(接收者)按定量模式工作,可解决远程控制,流量控制,提高在实际网络环境中的通信质量.建立与Petri网模型相关联的关联矩阵,并使用关联矩阵对模型进行了验证.     

Petri网理论及其应用

Petri网是一种适于系统描述、分析和综合的图形数学工具,它的研究已引起了人们的普遍关注。本文着重讨论了一般Petri网理论,并对计时、随机和高级Petri网以及Petri网理论的应用进行了简要的介绍。     

基于时间Petri网的铁通调度指挥系统建模与分析

在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型.在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系.利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型.最后,对TDS停机停线的时间性能进行了分析.     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

云计算环境下基于Petri网的流程计费模型

通过分析云计算环境下服务模块流程组合的动态性,运用随机Petri网进行动态流程建模与追踪,给出了分层计费体系下的流程计费模型,使用Petri网对该计费流程进行建模分析和设计,便于云服务提供商实现基于状态的计费控制,从而优化计费策略.实现了云计算基于过程模型的服务计量,并根据该模型进行相应定价,用户即可按需付费.通过应用实例验证了该计费方法的有效性和可操作性,为云服务提供商计费决策提供了技术支撑.     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

基于Petri网的图书借阅系统的 建模与优化分析

为提高图书的利用率,实现更人性化的借阅服务,提出了一种基于Petri网的图书借阅系统模型的优化方法.首先,通过分析图书借阅系统的结构,利用Petri网对借阅系统进行建模; 其次,对Petri网模型中的各变迁之间的行为轮廓关系进行分析后,通过增加控制结构对模型进行优化; 最后,利用PIPE软件对优化后的模型进行仿真模拟,结果表明优化后的模型具有有界性和安全性.     

基于分层Petri网的面向服务需求求精

为了使结构化面向对象形式语言（SOFL）适应面向服务的软件架构，提出了一种用于面向服务架构软件需求求精的新方法.使用分层Petri网进行建模，利用顺序图对消息传递进行分析，采用SOFL对非形式化和半形式化的系统描述逐步求精.讨论了基于分层Petri网的Web服务，定义了分层服务网、分层Web服务相关概念，描述了用于Web服务软件需求的分析、设计和建模完整过程，并给出了旅游服务中该过程的具体实例.实例分析表明，该方法适宜Web服务分析建模，可帮助用户实现不同粒度Web服务.该方法有助于对面向服务环境下软件需求求精和验证的探索.     

基于Petri网的航空产品设计过程模型

通过分析航空产品设计过程的动态分解特性,提出任务驱动的产品设计过程建模.分析了IDEF0和Petri网在建模方面的优点和存在的问题,论述了设计过程的IDEF0模型向Petri网转换的原则和方法.并重点论述了设计功能单元任务流Petri网模型和设计功能单元内任务流时间Petri网模型.     

基于Petri网的图书馆管理预测模型研究

提出了用Petri网科学管理图书馆的方法.图书馆管理预测问题具有多因素、离散、动态和并发等特点,Petri网有良好的离散事件动态表达和计算能力和直观的图形表示,因此建立了图书馆管理预测问题的Petri网模型,并进行了分析,为采用合理的管理策略提供理论依据.     

用Petri网进行并发系统的描述与分析

本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题,在时间Petri网和着色Petri网的基础上,提出了一种新的扩展Petri网(EPN)模型,并在EPN中定义了条件矩阵Q,给出了Petri网与遗传算法相结合的优化方法和具体算法.使用本优化方法,对一个车间作业(Job-shop)调度问题进行了求解,建立了该Job-shop调度的EPN模型,并采用单个体遗传算法对Petri网模型进行优化,结果证明了该建模和优化方法的有效性和正确性.     

Petri网不变式和状态方程的求解

不变式和状态方程的求解是Petri网分析中的基本问题. 研究了Petri网库所不变式和变迁不变式的一种求解方法,给出了Petri网系统状态方程的求解方法和发射向量的通解形式. 这些方法都是基于网关联矩阵的满秩分解. 讨论了Petri网系统状态方程存在整数解的条件,即可达性的一个必要条件. 该条件对于Petri网可达性分析有着重要的意义和价值.     

ISDN网络层协议模型化验证及其功能实现

本文首先介绍了 ISDN 网络层协议的功能及试验模型的功能块连接,并示出了ISDN 的电路交换呼叫程序.然后,介绍一些 Petri 网的基本概念,利用 Petri 网对TSDN 网络层协议进行模型化,并对模型进行带先进先出(FIFO)信道的可达性分析,得出一些验证结论.同时,指出该分析方法的一些局限性,并提出一些相应的解决策略.     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

着色Petri网在应急联动系统中的建模与仿真分析

在分析应急联动系统业务流程的基础上,引入着色Petri网,并利用支持Petri网建模与仿真的成熟工具CPNTools实现了应急联动系统流程的建模与仿真,同时对所建模型的性能进行了分析.     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网(ETPN)的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解.首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度.通过实例证明了该建模方法和优化算法的有效性和正确性.