共查询到18条相似文献,搜索用时 78 毫秒
1.
2.
3.
Petri网是一种图形化、数学化的建模方法,尤其在办公自动化领域的系统建模,在描述和分析实现上有一定的优势。本文分析了工作流的运行模式,Petri网的工作流描述,并以印刷企业订单为例,实现基于Petri网的工作流建模方法。 相似文献
4.
基于对象Petri网的信息系统建模技术 总被引:1,自引:0,他引:1
针对复杂管理信息系统分析与建模的困难性,提出了一种基于Petri网和面向对象的建模技术,给出了对象Petri网系统OPN的形式化定义,具体介绍了用OPN进行信息系统建模分析的基本思路与方法,并通过一个典型的租赁管理系统建模对该方法进行了应用。 相似文献
5.
首先给出对象Petri网 (ObjectbasedPetriNet,OPN)的定义 ,介绍了OPN对基本Petri网的扩展。然后总结OPN的特点和C4 ISR系统仿真模型的建模原则 ,讨论了OPN在C4 ISR系统仿真建模中的适用性。最后对一个防空战术C4 ISR系统建立OPN模型 ,验证了OPN的可用性 相似文献
6.
对象Petri网及其在C4ISR系统仿真中的应用 总被引:5,自引:0,他引:5
首先给出对象Petri网(Object based Petri Net,OPN)的定义,介绍了OPN对基本Petri网的扩展,然后总结OPN的特点和C4ISR系统仿真模型的建模原则,讨论了OPN在C4ISR系统仿真建模中的适用性,最后对一个防空战术C4ISR系统建立OPN模型,验证了OPN的可用性。 相似文献
7.
8.
基于对象Petri网工作流建模的研究与实现 总被引:9,自引:2,他引:9
结合XPDL(XML Process Definition Language)标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。 相似文献
9.
10.
Petri网在业务过程建模中的应用 总被引:23,自引:0,他引:23
业务过程建模是工作流管理系统的基础,当前人们对业务过程建模技术还缺乏系统研究。本文主要结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示,正确性证明、性能评价和模型优化等方面的应用。 相似文献
11.
12.
针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析方法,并利用此方法对远程考试通用平台进行了动态分析. 相似文献
13.
14.
利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网。利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析。实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题。 相似文献
15.
针对目前电网系统缺乏有效的信息安全评估机制和方法,根据电网终端系统的特点,提出一套基于通用评估准则的安全评估模型,对安全评估的整体机制进行了研究和探讨,该模型能够刻画安全评估的需求、目标和细化内容;利用评估对象TOE对电网终端安全评估的过程和组件结构进行了详细讨论,最后在此基础上实现了对电网终端进行信息安全自动化安全评估工具. 相似文献
16.
强化医院信息系统安全的对策 总被引:1,自引:0,他引:1
医院信息化建设大大提高了医院的医疗服务水平,但由于技术、操作等方面的原因,医院信息安全问题成为影响医院信息建设问题的重要因素之一。从医院信息系统安全管理实践存在的问题入手,设计了具有针对性的医院信息系统安全管理体系。 相似文献
17.
UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法。通过引入事件托肯,改进了将UML模型转换为对象着色Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型进行了分析,验证了模型的一系列性质。 相似文献
18.
针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网(Controlled Time Petri Nets)模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析。实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间。 相似文献