Internet的产品快速原型制造过程建模

过程建模是过程管理和集成的基础．在分析基于Internet的产品快速原型制造过程的基础上,分别利用IDEF3和Petri网方法建立其过程模型．描述多因素相互问的动态行为,同时解决各环节之间的并发性、异步性、分布性等问题．分析并比较IDEF3和Petri网方法的优缺点,提出以Petri网为主、IDEF3为辅的过程建模策略．     

基于Petri网的生产系统建模与分析研究

针对生产管理模式的选择及Petri网建模规模较小等问题,根据生产物流控制的原理,在对基本制造单元进行模块化建模的基础上,应用模块化、层次化的技术构建了推式、拉式等生产管理模式的Petri网模型,然后应用参数化的技术对模型进行了改进,应用IDEF1X方法(icam definition methods,IDEF系列分析方法中的数据建模方法)对着色Petri网的颜色集进行了设计,弥补了Petri网建模的不足,并通过对这些方法的集成应用,建立了具有较强通用性的大规模复杂生产系统的Petri模型.最后,通过直接对所建Petri网模型的仿真和对仿真过程中所采集数据的统计计算,对生产系统的性能进行了分析,验证了上述建模方法的正确性和通用性.该方法为制造企业进行生产模式选择提供了有效的工具.     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

电子电路故障诊断的模糊Petri网模型

提出了一种适用于电子电路故障诊断系统的模糊Petri网模型,用模糊Petri网表示故障诊断的模糊知识与推理机.     

Petri网的一种硬件实现方法

Petri网是一种信息流模型，广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现，为Petri网的硬件实现提供了可能．从Petri网的原理出发，根据库所与变迁的本质特点，提出了一种Petri网硬件实现的框架，并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计，以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

一种新的Petri网模型

将感觉神经检测机制融合于Petri网中，提出了一种新的基于属性抽取与整合的感觉神经检测Petri网模型，使得Petri网更加适合于对神经思维的描述，提高了系统的智能行为。     

基于Petri网的人才评价工作流模型

提出了基于Petri网的人才评价工作流管理系统建模的应用研究,介绍工作流、工作流网、工作流建模的一些基本概念,以及用Petri网对工作流进行建模的过程,并结合人才评价系统实例讨论了基于Petri网的工作流模型的有效性和性能分析。     

流体随机Petri网的混杂自动机模型

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.     

CIMS 的一种面向对象的 IDEF0 建模方法

把结构化的ＩＤＥＦ０功能建模方法和面向对象的分析设计方法结合起来,提出一种面向对象的ＩＤＥＦ０建模方法（ＯＯＩＤＥＦ０）．ＯＯＩＤＥＦ０通过功能对象和ＩＣＯＭ对象的定义以及功能模型和信息模型的集成解决了ＣＩＭＳ功能模型和信息模型的联系问题,并为改善模型的易于修改性和重用性奠定了基础．     

基于IDEF0的CAD系统功能模型研究

图形系统的计算机辅助设计一直是工程CAD中的重要内容,该系统最核心的步骤是系统功能模型的设计与实现,根据工程设计的特点和系统管理的模式,从软件工程的思想出发,探索复杂系统的功能模型分析方法,是十分必要的。在IDEF0的基础上,针对钢结构CAD系统的数据流程和功能需求进行了有效地分析,提出了适应工程CAD系统的功能模型的分析方法。该方法在工厂钢结构CAD系统软件和聚变反应堆设计的系统研制中,收到了良好的效果     

基于IDEF0方法的金相试样制备系统模型研究

金相试样制备是金相分析研究中重要的组成环节,要经过多道工序,且制备人员的操作经验和水平决定了试样的制备质量。采用IDEF0方法描述整个金相试样制备过程,建立金相试样制备系统的功能模型,能清晰描述各工序的功能及相互联系,为加工实践提供了指导,可以使制备人员快速掌握正确的制备方法,有效控制金相试样的质量,得到合格的试样。     

IDEF1X信息建模与逻辑设计

ＩＤＥＦ１Ｘ信息建模方法是在结构化分析方法基础上发展起来的针对复杂系统进行分析与设计的方法，对于复杂系统设计，在降低费用、减少系统错误、促进交流的一致性及加强信息管理等方面都有作用。ＩＤＥＦ１Ｘ分析的最终结果是建立系统信息模型，即建立系统的信息结构、实体集合及功能视图，这种模型适合ＭＩＳ数据库的设计，尤其是面向对象的数据库设计．介绍了ＩＤＥＦ１Ｘ信息建模的方法，并探讨了这种方法在ＭＩＳ建模的分析与设计中的应用。     

Research and Development of the Object-oriented Design Method: IDEF4

ＲｅｓｅａｒｃｈａｎｄＤｅｖｅｌｏｐｍｅｎｔｏｆｔｈｅＯｂｊｅｃｔ－ｏｒｉｅｎｔｅｄＤｅｓｉｇｎＭｅｔｈｏｄ：ＩＤＥＦ４￥ＺｈｏｕＺｈｉｙｉｎｇ，ＷａｎｇＰｉｎｇ周之英，王萍（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌ...     

制冷系统仿真的IDEF分析

研究了集成化计算机辅助制造的定义(IDEF)方法在制冷系统仿真中的应用，用信息论的观点，借用IDEF方法对制冷系统进行了分析，建立了系统仿真所需的功能模型和信息模型，采用ICOM码表管理系统中的所有参数，然后结合相关的数学模型，更好地实现了仿真目的，并为后续整个制冷CAD系统的开发奠定了基础。     

基于Petri网的虚拟科研建立过程模型

 将Petri网理论引入科研领域,提出了用Petri网对动态、并发的科研过程进行描述.用Petri网描述的虚拟科研过程清晰、全面,为上层领导进行决策提供一种简洁、直观的决策分析工具.     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

炼钢连铸过程的Petri网实时调度模型

炼钢连铸过程是一个复杂而又典型的混合动态系统，但现有的混合动态系统理论难以对此进行直接分析和综合。文章提出一种区段赋时弧有色Ｐｅｔｒｉ网，其库所输出弧上标注的是以颜色为变量的时间区间函数，并从抽象混合动态系统的角度给出了这种Ｐｅｔｒｉ网的变迁规则。利用模块化思想，以区段赋时弧有色Ｐｅｔｒｉ网为工具，说明了如何建立一个电炉炼钢连铸过程的实时调度模型。基于这一模型，既可以仿真整个生产过程，又可以分析和综合实时调度策略。