基于Petri网的图标编程系统设计与实现

为了描述图标间的相互作用和它们的动态行为,作者提出了一个基于Ｐｅｔｒｉ网的图标编程系统．本文讨论了组成该系统各成分的功能,并设计了网络分析图的生成算法．通过实例说明了系统工作过程和Ｐｅｔｒｉ网理论在可视化程序设计中的重要作用．     

基于Pertri网的图标编程系统设计与实现

为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Ｐｅｒｔｉ网的图标编程系统。本文讨论了组成该系统各成分的功能，并设计了网络分析的生成算法。通过实例说明了系统工作过程和Ｐｅｔｒｉ网理论在可视化程序设计中的重要作用。     

基于三层混合编程模型的Petri网并行算法研究

为解决多核机群Petri网并行化过程中,运用MPI+OPenMP混合编程实现同步会出现死锁的问题,提出了基于三层混合编程模型的Petri网并行算法。首先,根据事务内存的同步优势,在多核机群环境下构建MPI+OPenMP+STM的三层编程模型;然后,对Petri网的几何模型与代数模型的并行化进行分析,建立MPI+OPenMP+STM三层结构的Petri网并行模型,并对三层混合编程模型的Petri网并行算法进行设计与分析;最后,通过示例进行编程验证,该算法的运行效率明显优于其他编程模式,而且Petri网的规模越大,其并行计算的效果就越明显。因此,该算法是多核机群环境下模拟Petri网并行运行的一种高效且可行的算法。     

基于案例推理系统的Petri网模型

在基于案例推理中，一个重要的问题就是如何在案例存储空间进行推演，本文中，我们提出了一个基于案例推理系统的Ｐｅｔｒｉ网模型，而且使用网论中的线性技术来解决基于案例的推演。     

基于有色Petri网的资源共享多线程数据采集系统

针对一种资源共享多线程数据采集系统的模型，采用基本网系统分析其系统行为，并用有色网模拟系统，提出了资源的部分共享方案，解决了系统的资源冲突和调度问题。     

Petri网系统活性的研究

随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容易得到系统的状态转换图,一般称Petri网系统的可达图(系统无界时,得覆盖图)。实质上,可达图是动态系统的动态描述;系统有多少种不同状态(不考虑系统无界时),可达图就有多少个结点;结点间由有向弧连结,表明从一种状态转换为另一种状态发生了什么动作(一种或若干     

论高级Petri网系统的等价谱系

高级网系统简洁明了，在Petri网系统的应用中是非常有效的．本文讨论了高级网系统的等价变换，提出了高级网系统的两种极端形式——最高网系统和最低网系统，并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统．此外，还提出了高级网系统的等价谱系，旨在从理论上分析清楚高级网系统的本质．     

基于随机函数Petri网的系统动力学关联分析模型

针对系统动力学（SD）模型既无法表达延迟具有随机性,又无法描述不同状态之间存在的条件转移,以及随机Petri网（SPN）本身存在计算能力不足等问题,首先,将SPN进行扩展,提出了随机函数Petri网（SFPN）模型;然后,将SFPN与SD相结合,提出了一种SFPN-SD模型。因SFPN模型中的变迁本身能精确描述随机延迟,故解决了SD模型存在的第一个问题;因SFPN模型中的条件弧能表达库所之间的有条件转移,故解决了SD模型存在的第二个问题;最后,在SPN的库所和变迁中定义一些状态变量及其状态转移方程,而状态变量及其状态转移方程就是SD模型中的水平变量、辅助变量、速率变量、水平方程和速率方程的不同解释,状态转移方程可以实现复杂的计算,于是解决了SPN模型的计算能力不足的问题。SFPN-SD模型很好地继承了SD模型的全部特征,同时又将随机Petri网的全部特征融入到SFPN-SD模型中。与SD模型相比,SFPN-SD模型具有系统的状态及其类型的含义更明确、状态演变过程更明确的特点,且其描述的系统变化动态性是通过事件激发的,从而更逼真地描述了复杂系统的自主动态随机演变行为。实例研究表明,SFPN-SD模型比SD模型具有更强、更全面的对复杂系统的描述关联分析与模拟能力。     

基于Petri网的物流系统建模实例

本文介绍了一种使用资源／任务Petn网(R／T—net)对物流系统进行建模的方法。物流系统是一个任务流和资源流并行的业务过程，对于这一类过程，采用R／T—net建模，主要是通过在任务模型中设置资源依赖和资源期望，实现资源流对任务流的控制，其中的点火规则和路由规则可以灵活地实现资源的协调、同步、分配和传递。这种方法可以使建模过程更符合物流系统的实际运作，提高工作效率。     

流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

基于Petri网超媒体模型研究

在分析当前超媒体形式化模型特点的基础上,本文提出了一个全新的模型－ＣＰＮＨ,它基于有色Ｐｅｔｒｉ网,具有刻画分布超媒体主要性质的能力,与其他模型相比该模型能够有效解决并发浏览、存到控制和版本总理２,而且有力刻画了分布环境下多媒体的动态特性文中着重给出了ＣＰＮＨ模型的形式化定义并举例说明。     

基于Petri网的以活动为中心的软件过程建模方法

软件过程是软件生命周期中所实施的一系列活动的集合.软件过程模型为软件开发者提供了软件开发的标准,也方便了开发者之间的交流.过程建模作为软件过程中最主要的活动,是对实际软件过程的再加工工程.基于Petri网提出了一种以活动为中心的软件过程控制模型ACCM,并给出了相应的算法.最后以一个软件开发的实例解释说明了该方法的有效性.     

基于Petri网的异构协议转换的构造

异构网络由于协议的不兼容造成异构网络应用进程之间难以难,因此异构网络集成是当前网络工程所面临的困难之一,协议转换是实现异构网络互联的关键技术。文中首先给出协议转换的基本概念,并简述传统的协议转换方法。在此基础上,文中给出了基于Ｐｅｔｒｉ网的协议转换的定义,并利用Ｐｅｔｒｉ网的Ｔ不变量技术和并行组合积技术,按照自底向上的方法,提出了基于Ｐｅｔｒｉ网的协议转换器的构造算法及其证明,最后通过实例验证了其     

基于Petri网的数字家庭无线射频协议研究

对数字家庭无线射频通信协议进行分解,给出协议各部分的流程。构造基于Petri网的通信协议模型,并在模型的基础上运用可达图方法分析协议Petri网模型的动态性质,从而验证协议的正确性,为进一步研究和应用该协议提供一种新的思路。     

基于Petri网的Web数据库访问的建模研究

本文针对用户访问Web数据库的过程进行了分析并提出改进思路，然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。     

基于Petri网的制造过程重组

首先用ＩＤＥＦ０建模方法对系统进行描述，然后将其转换为Ｐｅｔｒｉ网模型以确定制造活动间的选择，冲突，同步和并发关系，进一步用基于关联矩阵的重组算法对制造活动进行重组，建立制造活动耦合集间的同步和冲突表，从而达到了利用制造活动耦合集间的并和来减少制造过程周期的目的。     

时序逻辑电路的Petri网分析方法

本文应用带抑止弧的增广Ｐｅｔｒｉ网，建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型，讨论了运用该模型描述同步和异步时序逻辑电路，给出了增广Ｐｅｔｒｉ网的矩阵描述和状态转移方程，在此基础上提出了同步和异步时序逻辑电路统一分析的Ｐｅｔｒｉ网方法。     

基于Petri网的工作流在电子政务系统中的建模与分析

电子政务系统是目前研究和开发的热点之一。采用基于Petri网的工作流对电子政务系统进行了建模与分析,首先说明了在工作流中运用Petri网的优点,然后将Petri网与工作流相结合,建立了电子政务系统的工作流网模型,最后运用Petri网理论对所建模型的正确性进行了定性分析,并对模型的子系统网上投诉系统的资源分配情况进行了定量分析。     

基于带抑制弧的Petri网表示的嵌入式系统模型的子网化简

基于Petri网表示的嵌入式系统PRES+(Petri net based Representation for Embedded Systems)模型可以描述实时嵌入式系统。为了提高PRES+的建模能力,将抑制弧加入PRES+模型中,得到基于带抑制弧的Petri网表示的嵌入式系统PIRES+(Petri net with Inhibitor arcs based Representation for Embedded Systems)模型。PIRES+模型提高了建模和验证复杂嵌入式系统的能力,但是在建模和验证过程中存在状态空间爆炸问题。为了缓解这一问题,提出两种PIRES+模型的子网的化简规则,使得简化后的模型与原模型具有相同的可达性、实时性和功能性。     

Petri网协议分析器

本文以基于Ｐｅｔｒｉ网的协议工作站为研究目标，阐述协议工程工作站的基本功能，简介ＥＰｒ／ＴＮ网系统，着重探讨作者实现的协议描述分析辅助工具ＰＥＳＡＴ的功能特点和实现技术，并以一个例子加以说明，最后作者指出ＰＥＳＡＴ的完善工作和理论协议工程工作站建立的前景。