一个拟PETRI网建模模型

本文利用ＰＥＴＲＩ网和自动机理论，为ＥＡＲ数据模型的数据库设计，建立一个拟ＰＥＴＲＩ网的设计方法，并构造一个建模模型，为数据库辅助设计提供基础框架结构。     

死锁的PETRI NETS模型

本文给出了操作系统(OS)的一种基于Petri网的形式化模型,由此把死锁问题转化为线性代数问题。我们得到了OS中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正常工作的最优化方法。特别是对于分布式OS,我们大大改进了以往的一些处理死锁的方法,最后还通过举例进行了说明。     

PETRI网描述的VPML语义

企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础,用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础,利用PETRI网描述VPML的所有语义,证明其语义的正确性与完备性。利用二者之间建立的映射关系,将VPML建立的模型转换为PETRI网描述,借助于PETRI网工具可进行系统性能分析,提高产品开发的可靠性。     

PETRI网工具——GPNT的设计与实现

Petri网是描述和分析含有并行成分的系统动态特征的重要模型。随着Petri网理论研究的不断深入和在各实际领域的广泛应用,作为支持Petri网本身的设计与分析的计算机辅助工具的研究就显得十分重要。GPNT(Graphic Petri Net Tools)是西北大学计算机科学系研制的一个具有图形功能的Petri网工具软件,用于支持P/T网的设计、动态模拟及特性分析等。本文概要地介绍了该系统的功能并讨论了系统设计与实现中的若干技术问题。     

一种基于随机PETRI网的OWL-S量化描述模型

OWL-S是一种面向领域本体的语义Web服务组合描述语言,也是一种可自动机器解释的语义标记语言,同时实现了Web服务功能和服务间互操作、互调用、互协作的语义化描述,是目前最重要的服务组合标准之一。提出了一种基于非马尔科夫随机PETRI网(NMSPN)的概率模型,对OWL-S描述的Web服务的控制流进行了建模和描述,并在NMSPN流程模型基础上建立了一系列的概率分析方法,实现了对语义Web服务的量化可信性的分析。     

PETRI 网在软件过程建模及过程实施中的应用

软件过程技术，作为一种保证软件开发质量和效率的方法，在许多软件企业引起了重视和应用。本文从条件／事件网出发，应用标记PETRI网，并针对其在软件过程中的特点，给出了软件过程和软件过程网合理性的定义，根据工作流领域的结论，可以应用经典PETRI网的工具验证其合理性。在此理论基础上，提出了传统的软件过程结构表示成软件过程网的规则。并研究其在实践中的应用，最后用一个实际软件开发企业中的应用实例详细解释了所提出的理论及应用。     

可视化过程建模语言VPML与PETRI网的等价性证明

VPML（Visual Process Modeling Language)是企事业过程建模系统EPMS（Enterprise Process Modeling System)所采用的可视化过程建模语言,适用于过程模型建造和过程模型模拟。VPML语言功能的强弱直接影响过程建模的能力,它是过程建模、过程优化和运作的基础。因此,VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。以枚举法为基础,利用PETRI网描述VPML的所有语义,从而证明VPML语义的正确性与完备性,综合VPML语言易于掌握,PETRI网描述并发执行简单易行的优点,建立了二者之间的映射关系,加快系统建模过程,提高开发产品的可靠性。     

UML和着争PETRI网在物资采购建模中的应用

本文讨论了如何用当今流行的建模语言UML对系统进行建模,列出了一个完整的物资采购实例,通过这个实例分析建模的全部过程,提出UML作为建模语言本身存在的问题,并就存在的问题提出了着色Petri的解决方案。将UML和Petri网联合起来对系统进行建模。     

petri网分析工具对增广petri网模型的验证

petri网分析工具支持增广petri网模型的建立、分析和验证。本文举例分析了用增广petri网描述的数学公式排列A m/n及幕指数n~m的分析和验证。     

数制转换器的增广Petri网模型

本文给出数制转换器的增广Petri网模型,它可以将任意一个十进制的数比为a进制(a为正整数且1相似文献   

基于PETRI网的机器人装配作业建模及装配路径优化方法的研究

本文基于装配过程离散控制的思想，以扩展库所／变迁网对装配过程进行作业建模，提出了装配状态优化变迁序列的生成方法和算法．该方法有利于在不确定性存在时在任务级上实现装配过程的控制．     

基于工作流的高校科研项目管理Petri网建模

科研项目管理是高校科研信息系统的核心部分之一,利用Petri网,对复杂的科研项目管理工作流程建模,解决高校信息化中较为复杂的科研项目管理工作流问题。以高校科研项目申请流程为例,给出了相关定义,分析和解决建模中遇到的几个问题。     

基于Petri网的科技期刊在线办公系统模型

为了降低建模难度、简化建模过程,同时又能保证所建模型的正确性,在科技期刊在线办公系统中采用工作流网(Workflownet,WF-net)技术进行建模与分析,对科技期刊在线审稿工作流程研究和分析,提出了一个科技期刊在线办公系统Petri网工作流模型,并对该模型进行了正确性分析。该模型成功地应用于某医学科技期刊在线办公系统项目中。     

计算两个向量的数量积的增广Petri网模型

本文给出了计算两个向量的数量积的增广 Petri 网模型,然后给出了矩阵描述和状态方程分析,最后用计算工具加以验证。     

基于PETRI网的工作流模型分析与应用

目前,工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具。论文着重讨论基于Petri网的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。在文章最后,将给出一个应用的实例:全国高校网上招生录取系统。     

基于Petri网的哲学分析

Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展。Petri网技术和其它技术的完美结合使其在应用领域发挥作用。从哲学高度分析了Petri网获得成功的思想渊源。通过诠释Petri网思想与哲学思想的诸多相通之处,提出了一种以哲学观点认识和理解Petri网的新思想。Petri网理论的晦涩性在很大程度上限制了其更好发展。鉴于此,笔者在简化Petri网理论方面做了许多尝试,以期促进Petri网的流行与发展。     

运用PETRI网络理论设计DSP系统的监控程序

介绍了在设计一种用ＤＣＰ为基础的仪器时,采用ＰＥＴＲＩ网络理论取代ＩＦ－ＥＬＳＥ结构形式设计ＤＳＰ系统的监控程序。该方法算法程序简单,不仅大大节省了监控程序所占用的内存．而且效果好。     

一种新的取证计算模型的研究与实现

计算机取证（computer forensics）目前正逐渐成为人们研究与关注的焦点。本文对取证计算（forensics computing）进行了定义,并提出采用XML/OEM/RM数据模型、数据融合技术、取证知识库、专家系统推理机和挖掘引擎的取证计算模型。最终实现取证计算模型的原型系统,为网络取证提供理论、方法、技术和系统的支持,填补网络取证的部分研究空白,为保证网络社会的安全提供技术支持。     

Petri网的并分解

给出了Petri网的并分解的定义,并讨论了通过这种分解原网与子网在结构性质方面之间的关系,对用Petri网分析大系统提供了一种有效的方法。