共查询到10条相似文献,搜索用时 31 毫秒
1.
2.
ZHANG Xin-fang 《数字社区&智能家居》2008,(32)
应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础。 相似文献
3.
资源配置混杂Petri网的混杂系统生产过程动态调度 总被引:1,自引:0,他引:1
为了增强混杂生产过程应对突发事件的能力,以一种新的混杂Petri网(资源配置混杂Petri网)为研究模型,给出了相应的使能和激发规则.并在资源配置混杂Petri网建立的仿真模型的基础上,融入事件逻辑网和逻辑规划,提出一种适用于混杂系统动态生产调度建模和优化的方法.以典型的混杂生产过程为例,研究混杂系统生产过程建模及优化.研究结果表明,资源配置混杂Petri网模型描述能力强,能够有效描述混杂系统生产过程,所提出的动态调度方案切实有效. 相似文献
4.
随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。 相似文献
5.
6.
基于Petri网化简技术的工作流过程模型结构验证 总被引:2,自引:1,他引:1
目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.文中介绍两种化简规则.这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petfi网和原有的Petri网具有相同的属性.介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程. 相似文献
7.
由于人为误操作和数据库系统异步因素,电力系统监控数据存在错误风险,需要对监控数据进行多点校核来保障其一致性和正确性,可靠的监控数据保证电力系统的安全运转;然而多点校核业务流复杂且对数据精度要求高,目前的人工校核方法不仅成本高,且精度和效率低,不能保证整个监控数据的实时校核工作;为自动化监控数据多点校核过程,需要对整个业务流建模,针对该问题,提出一种基于Petri网的监控数据多点校核动态建模方法;首先将监控系统的校核业务背景形式化Petri网中的具有不同约束的节点;然后使用工作流Petri方法对校核的业务流程进行形式化定义、并将该业务流程用Petri网建模成为网状模型;最后,针对该模型提出一种化简技术对其进行化简,并证实该化简方法的有效性和该模型能拟合监控数据多点校核的整个流程。 相似文献
8.
一种Petri网层次模型建模工具的设计与实现 总被引:1,自引:0,他引:1
为解决使用Petri网建模遇到的状态空间爆炸问题,提出使用层次模型,采用分层细化逐步求精的方法建立Petri网分层模型.设计并实现基于图形用户界面的普通边界为1的Petri网分层建模工具软件.用户在交互方式下建立Petri网层次模型,并可修改、删除、存储、分层平面化、简单功能模拟、导入和导出可复用Petri子网和将模型翻译为预定义的模型描述语言源程序. 相似文献
9.