基于对象Petri网的雷达组网系统建模仿真研究

建立了复杂环境下雷达网的OPDL模型，并以雷达网分布式目标检测分析为背景，运用所建立的雷达网OPDL模型进行了仿真实验。研究表明，基于OPDL的雷达组网系统建模仿真是一种分析、评价雷达网系统的有效途径。     

基于工作流网的电子商务系统建模

针对电子商务企业业务过程重组对电子商务系统建设提出的更高要求,应用工作流网对电子商务交易流程建模.工作流网基于Petri网,把任务关系归纳为顺序、并行、选择、迭代等4种路由结构,可表达电子商务系统的各种依赖关系,其图形直观、易于理解,数学基础严密、易于分析和验证.文中对给出的B2C(企业到客户)业务流程建立了基于工作流网的模型,可在此基础上进行分析和验证,有利于进一步的系统设计.因此,工作流网在电子商务系统建模中有较好的发展前景.     

基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。     

基于Petri网的嵌入式系统建模

基于对传统Petri网结构的修改，文章提出了一种新的模型方式，并具体给出相应的结构定义，图形表示和行为规则。该方法实现了控制信息和数据信息的统一化表示，从而易于表示系统中的循环和条件操作。最后就嵌入式系统的描述举例说明。     

基于Petri网的iSCSI协议分析与建模

通过对iSCSI协议对象的分解,论述了通信双方在整个会话生命周期中各阶段的状态以及状态转换的条件,并依据Petri网理论,建立iSCSI协议会话模型,完成对协议运行机制和实现原理的分析。     

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

基于Petri网与遗传算法的半导体生产线建模与优化调度

针对半导体生产线调度复杂、难以优化的问题,本文提出了一种基于层次有色赋时Petri网技术和遗传算法相结合的优化调度方法。该方法利用层次化的方法结合自顶向下建模方法对半导体生产线进行模块化建模,模型不仅能够反映生产线的待加工产品的多条加工路径及其资源约束,还可以对系统的设备维护、各种优先级等特性进行描述,得到对生产系统更完善更精确的刻画。通过在遗传算法编码中同时考虑投料策略、工件选设备规则、批加工调度规则和单件加工设备规则等因素得到更加有效的调度方案,提高了模型的优化程度。在此基础上,对实际半导体生产线的不同调度方案分别进行了仿真,并对仿真结果进行了比较,从而验证了建模方法的正确性及调度策略的有效性。     

基于扩展Petri网的雷达组网系统的建模与分析

利用扩展Petri网建立了雷达组网系统模型,通过模型的分析,解决了各雷达之间的同步问题,给出了系统冲突的处理方法,然后将扩展Petri网与排队论结合起来,定量描述了系统的统计性能;最后运用建立的模型进行了仿真实验。研究表明,扩展Petri网是雷达组网系统建模与分析的一种有效途径,为系统的结构优化与效能评估提供了依据。     

Petri网理论在指挥自动化系统建模上的应用

在Petri网理论基础上分析如何用Petri网理论描述指挥自动化系统 ,给出了相应实例     

门户网自助系统的扩展有色Petri网建模与分析

文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。     

An Attack Modeling Based on Colored Petri Net

1 Attack Modeling A typical attack contains the following elements: 1) Objects attacked. These objects belong to the victims or can be regarded as public resource, such as networking bandwidth. 2) Attacker. These objects contain the hacker’s information, attacking tools and other states of attacker. 3) Attack processes. The stages of an attack and attack processes are used to depict the attacking action. 4) Control actions. These actions can be classified into response actions and defensiv…     

基于Petri网建模的Web型MIS系统的研究

文中提出了基于MVC架构的web型信息管理流程模型,并通过定义的模型五元组来描述各层之间数据传递的关系和结果．给出了基于MVC架构的web型MIS系统Petri网建模基本步骤,为web型MIS系统的业务流程的分析、验证与优化提供了理论依据．以井冈山大学科研管理信息系统为例,讨论了Petri网理论在建模中的应用,实验结果表明采用Petri网理论对科研管理信息系统建模是可行且有效的．     

基于RFID发现服务的一种供应链建模技术

RFID发现服务负责从供应链不同合作伙伴的信息服务中搜集与某个(些)物品相关的动态RFID事件,作为数据集.为了便于对发现服务获得的数据集进行可视化分析,本文给出了一种供应链建模技术.规约了发现服务获得的数据集,这种数据集描述了物品的移动、包装/解包装、加工制造;同时,采用P2P和并行处理技术,给出了一种新的分布式RFID发现服务;然后,基于Petri网提出了一种新的建模工具"Supply-Net",并给出了构建Supply-Net的算法.算法分析和实验表明这种构建Supply-Net的算法具有较高的效率和可用性.     

基于Petri网的测井资料处理工作流建模

基于Petri网的建模方法,具有直观的图形表示和坚实的数学基础,是工作流建模和分析的有力工具。文中通过对测井资料处理流程的描述,提出了一个基于Petri网的测井资料处理流程的工作流模型,并利用Murata化简技术对该模型进行了合理性验证。     

半导体代工厂的特气供应系统探讨

对在半导体晶圆代工厂中应用的特种气体及气体的不同特性进行了分类和讨论,进而对特种气体在晶圆厂的主要供应流程及其要点进行了阐述,并且对在晶圆厂有着重要作用的关键管件及重要设计进行了探讨.     

基于赋时层次有色Petri网的Multi-Agent调度系统建模

介绍了基于Multi-Agent的分布式环境扫描系统的结构模型.依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN Tools建立了基于优先级的任务调度算法和最短等待队列动态负载均衡调度算法的系统调度模型.仿真结果表明,该调度模型有效满足了系统周期性重复访问网站的任务需求.     

C4ISR系统可靠性评价方法与技术研究

分析了国内外C^4ISR系统可靠性研究现状以及可靠性评价的研究方向，初步建立了评价的指标体系，并对相关方法与技术进行了归纳总结。针对评价不同的指标可能采用不同的方法与技术组合的现实，进行了基于逻辑框图的C^2分系统任务可靠度评价研究，然后引入时延这一反映C^4ISR系统可靠性的性能指标，并通过建立对象Petri网模型对时延的定量评价进行了研究。评价实例初步体现了方法的可行性。     

实际AANC系统误差通道建模的分析

以滤波－XLMS(FLMS)算法为代表的多种AANC算法用到了误差通道模型来实现对输入参考信号的滤波,而对误差通道建模的准确与否直接影响到算法的实际效果.本文分析了两种不同建模方式对FLMS算法收敛性的影响,并提出了实际AANC系统误差通道的一种建模方法,对实测数据的建模结果表明,该建模方法更符合实际.