一种作战任务分析仿真模型自动生成方法研究

IDEF3模型以其具有简单易学、容易理解掌握等特点，在对复杂的作战任务过程描述中得到了广泛应用，但是，IDEF3模型在对作战任务的逻辑、时间等方面的分析明显不足。而对象Petri网模型虽然可以解决上述问题，可是其建模困难，技术要求高。针对此问题，将二者有机地结合起来，实现IDEF3模型向对象Petri网仿真模型的自动转换，在对IDEF3形式化描述的基础上，给出了转换规则的形式化描述和仿真脚本自动生成的方法，最后，结合一个应用实例给予验证。     

基于IDEF0模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略.研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径.     

基于IDEFO模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比，表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题；提出IDEF0模型到Petri网模型的转换思路和基本转换方法，以一个信息管理模块为例实现模型转换，在此基础上提出了改进策略。研究结果有助于以Petri网为统一工具实现系统建模与开发，为解决当前系统开发遇到的问题提供一种新的途径。     

基于线性时态逻辑的Petri网模型检测

Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论.     

基于Petri网统一模型的系统开发方法研究

为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题,提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前后接口保持一致和子网的基本属性保持等问题;提出了基于Petri网的功能和数据分析方法以及子系统自动划分的思想;对IDEF0和Petri网两种建模方法分析对比,提出IDEF0模型到Petri网模型的转换思路和方法。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。     

Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

一种C3I系统仿真模型生成方法

C3 I系统是一类复杂的大系统 ,借助模型和仿真手段对其进行研究是最有效的途径 ,但直接建立仿真模型往往极其困难。分析了活动模型和对象Petri网模型在C3 I系统中的应用 ,提出了一种间接生成对象Petri网仿真模型的方法 ,即首先建立活动模型 ,在此基础上生成可执行对象Petri网模型 ,然后对C3 I系统进行仿真。     

一种新的Petri网模型建立方法

提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法。即利用了MSC简单、直观的优点，又能够充分利用Petri网相关的分析和仿真的理论与工具。给出了具体的由MSC到Petri网的转换算法。依照转换算法可将复杂系统的MSC模型转换为Petri网模型。经过对具体模型实例的分析可以得出，由这种方法得到的Petri网是安全可行的。     

基于对象Petri网的列车运行模型及仿真

用带有对象的Petri网对列车群运行进行建模，具有规模小、灵活、直观、模块性好、可操作性良好，属性描述方便，有利于不确定性问题的处理等优点；仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析，验证手段的缺点，又可以克服Petri网在系统描述上的不足，文章描述了仿真系统的总体结构，主要数据结构和仿真策略，由于设计中采用了Petri网模型，路网数据，运行图相分离的原则，使系统具有良好的普适性和扩充性。     

基于逻辑Petri网的物流配送系统建模

为了降低建模的难度,更加容易、直观地描述系统的动态过程以及其中的逻辑关系,将逻辑Petri网的建模技术应用于物流配送系统中,对其进行了建模与分析。基于对物流配送系统一般工作流程的分析,比较准确明了地描述了配送系统的动态运作过程,建立了系统的逻辑Petri网模型,并研究了系统的某些重要性质。     

基于并行工程的中药制造企业业务过程建模

通过IDEF0(ICAM Definition)建模方法,分析评价了中药制造企业现有业务流程,基于并行工程的思想,提出了集成并行的业务过程模型,并用于指导某企业的经营和运行.     

基于IDEF3 的业务过程仿真模型的存储与获取

模型的集成和重用是提高仿真建模效率的有效方法,而模型的存储和获取是实现模型集成和重用的关键技术.在研究基于IDEF3的业务过程仿真建模的基础上,分析设计了相应的数据库概念模型,实现了仿真模型在关系数据库中的存储及与描述模型在数据上的共享和集成.然后,重点研究了如何通过结构化参数化的查询从模型库中获取用户想要的特定仿真模型,提出了综合考虑模型基本元素、基本模块、基本属性和整体结构的计算仿真模型相似性的算法,并开发了相应的支持软件工具.     

可视化粒子编辑系统的设计与实现

粒子系统是描述自然现象及其他过程式模型的有效方法，目前已在可视化仿真中得到广泛的应用。针对目前粒子系统算法研究分散的现状，利用通用的算法和面向对象的结构设计方法和随机纹理控制的方法，开发了一种可视化粒子编辑系统。该系统不仅可以实现多种特殊效果，而且可以完成其他建模软件难以实现的过程式模型。简述了系统的基本功能及粒子系统的基本原理，论述了系统的设计与实现过程，讨论了利用该系统开发一个过程式模型的基本过程及面向对象的系统结构设计方法，给出了该系统实现的一些典型效果截图。     

Modeling workflow using XML and Petri net

Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.     

基于元模型的复杂产品虚拟样机建模方法研究

新技术环境下复杂产品对数字化设计质量的要求不断提升, 需要进一步提高建模的质量和效率, 解决复杂产品虚拟样机多学科模型的一体化信息集成问题, 以实现复杂产品系统设计及优化。本文以航天制造领域广泛存在的复杂产品为对象, 对元模型、建模方法以及多学科建模过程进行研究与分析, 将多学科优化设计与元模型建模方法相结合, 建立了复杂产品的虚拟样机元模型, 并构建了元模型与学科元模型的转换关系, 形成了虚拟样机多学科建模优化设计方案。     

基于IDEF9000的企业物流管理系统建模方法

综合ISO9000族标准、ARIS、IEM和IDEF0建模方法学的基础上，提出了两种关注过程质量的基于IDEF9000的企业物流管理系统建模方法，基于视图的建模方法和基于管理过程的建模方法，并结合建模实例对两种建模方法作了比较分析，以验证该方法的可行性。该方法不仅有利于各企业物流管理系统的建立，以及建模活动之间的协调，而且也有助于计算机软件系统的集成。特别对以合作和协调为基本前提的复杂物流系统的构筑具有较好的指导作用。     

维修保障流程的通用仿真模型研究

在分析维修保障流程建模与仿真重要性的基础上，分析了PERT模型和Petri网模型在流程仿真中的应用特点，结合PERT和Petri网技术，提出了基于多层次PERT-Petri网的通用仿真模型，并给出了该模型的建模方法和仿真算法，文章最后给出了一个例子。     

基于Petri网模型检验的安全关键软件需求验证

需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用“非”虚线描述在状态为假和变迁失败情况下的触发,增强阈值条件的描述能力,区分了枚举型和数值型库所,区分了普通迁移和强赋值迁移,并给出了扩展后的形式化定义及其和检验语言的语义映射。最后给出在典型机载软件上的应用,建立了软件需求模型和部分映射代码,对模型进行检验、反例路径分析和需求完善。过程和结果表明该方法可以有效的支持实际的关键安全软件需求建模和验证。     

防空武器系统网络化协同交战建模与仿真

对网络化作战条件下，防空武器系统协同交战的过程进行了建模与仿真研究。首先综合运用IDEF0和IDEF3建立了系统的静态模型，然后通过提出一种随机着色Petri(SPN)，建立了协同交战过程的动态仿真模型。建模仿真分析表明，上述建模仿真方法为多防空武器系统的集成与分析提供了一种行之有效的方法。