基于Petri-Net的流程验证新方法

为解决业务流程管理应用系统中模型可验证性支持不足的问题,文章立足于业务流程建模和验证方法研究领域现状,以理论研究为基础提出一种面向应用系统的流程验证新方法。该方法利用PetriNet网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以PetriNet网络不变量求解为根本的验证算法。文中设计了实验对算法进行了理论分析验证和应用仿真验证,由此证明了文中算法的有效性。此外,为了体现算法的应用效能,对算法进行了效率分析实验,实验表明算法在验证效率上要明显优于覆盖图和因果足迹法。最后,依据文章的研究结果开发了验证算法的实用工具程序包,并对其应用效果进行了展示。综合而言,本文设计的流程验证方法合理高效,适合在实际系统中进行应用。     

基于工作流的电力系统检修管理建模方法和技术实现

给出了基于工作流技术的电力系统检修管理过程的全新建模方法及执行算法.以这种面向过程的系统集成技术为基础,可使检修管理信息在调度与运行、检修部门间自动流转与处理,实现检修管理过程的自动化.提出了基于任务的建模思想,以基于Petri网的扩展P/T_系统为工作流模型.给出了工作流的定义方式及检修管理过程的建模原理和步骤.系统底层实现基于共享文档数据库及邮件传递技术,具有分布异构系统的互操作能力.给出的方法已成功应用于供电局检修管理系统中,验证了其可行性及有效性.     

基于Petri网的协同设计过程模型时序分析

协同设计是一项比较新的交叉学科,是现代设计方法学的一个很值得深入研究的领域,它涉及到许多方面的内容。这里着重研究了：Petri网的基本原理,阐述了利用时序Petri网建立协同设计模型的步骤,并提出了如何利用时序：Petri网进行时序分析的方法,然后将分析的结果应用于设计过程的任务分配机制上。最后举例说明了时序分析在机械设计中的用途。     

基于Petri网和systemC的SoC系统描述

针对Petri网自带信息不足、硬件描述能力弱以及systemC无可视性等缺陷,将Petri网与systemC相结合来进行系统级建模。通过分析Petri网和systemC的相似点,建立Petri网和systemC的映射关系,以便于将Petri网描述的系统模型转化为systemC代码。同时,使用层次建模的方法防止状态爆炸。通过以上方式建立系统级模型,描述片上系统（SoC）嵌入式系统软硬件状态,作为可执行的系统级描述。     

高性能网络协议的Petri网模型

Petri网是协议形式化描述的优选模型．本文对高性能协议进行了深入的研究．并针对高性能协议更高的形式化描述要求．分别从语文、同步特征、模块化．层次比、对象化等方面进行了Petri同的特性分析．最后给出了用Petri网描述的快捷运输协议（XTP）的实例．     

基于Petri网的无线测温系统的实现

设备运行状态的监控是智能电网的重要组成部分,对设备温升情况的监测能及时掌握线路是否出现过载、短路及绝缘损坏等故障。介绍了基于TCP／IP协议的Socket的无线测温系统的设计与实现。通过对通讯协议的Petri网建模与分析,在程序设计中防止了冲突的出现,克服了通信过程中常出现的假死、中断等情况,提高了系统的可靠性。     

基于扩展P/T_系统的工作流模型及执行算法研究

根据PetriNet理论提出了基于扩展P／T_系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件。该方法在模型的流关系上具有逻辑判断功能,使工作流执行中的控制关系通过资源携带的相关数据得以实现,解决了工作流中冲突关系的决策及处理发生权的判断问题,提高了工作流的性能。实例表明,该方法容易实现业务过程与系统模型的真实对应,具有直观、描述能力强、容易维护的优点,可保证系统具有良好的安全性、进展性等性能。