带抑制弧Petri网的保性变换

Petri 网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上,证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。     

带抑制弧的时延着色Petri网模型检测技术

带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析。层次化方法被用来提高模型检测的时间与空间效率。通过实际案例展示了该技术的应用和可行性。     

基于带抑制弧的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网的Java多线程程序分析

多线程程序可以更好地利用计算机资源,提高程序运行效率.但是由于多线程执行的不确定性,程序设计中的潜在错误不易被发现.作为系统建模和分析的工具,Petri网适合对具有同步、并发、冲突的离散事件系统进行建模和分析.文中探讨利用Petri网对Java多线程程序建模,并通过分析模型的结构性质和动态性质定位程序设计中的错误.通过对一个多线程程序实例的建模以及对模型的分析,定位了引发错误的原因,并给出了解决方案.从而说明Petri网在分析多线程程序和提高程序稳定性方面具有优越性.     

基于增广有色Petri网带封锁机制的并发控制模型

本文用带抑制/容许弧的增广有色Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个事务访问多个共享资源。其中采用了2PL协议解决了数据库中并发所引起的数据不一致性,并采取了FIFO策略避免了2PL协议引起的活锁问题,且给出死锁检测方法。     

用Petri网模拟两级分布调度算法

用Ｐｅｔｒｉ网描述了两级分布调度算法，在此模型上，定义了分布调度算法的稳定性，最后，基于此模型，证明了两级分布调度算法是稳定的。     

调度问题的压缩Petri网（RePN）模型研究

本文提出了一种新的Ｐｅｔｒｉ网模型－压缩Ｐｅｔｒｉ网（ＲｅＰＮ）模型，用于调度问题的建模和求解，与以前的模型相比，ＲｅＰＮ模型不仅具有较强的分析能力，而且大大减少了节点数，使可达集杨应减小，从而为搜索调度问题的最优解或近优解提供了方便。     

基于Petri网的关键路径求解算法

首先把工程规划中有向网络转换成带时间状态的Petri网,利用Petri网的分析方法对其不合理之处加以剖析,修正其中可能蕴含的错误,接着运行该网络并进行剪枝优化,自动获取关键路径。该方法比传统算法的执行效率要高,更易于实现。     

基于Petri网的柔性制造系统调度控制模型

给出了自顶向下构造柔性制造系统(FMS)Petri网模型的方法,提出了随机创建指定数目满足指定条件的测试模型的算法,并给出程序仿真运行的演算规则。在此基础上实现了基于Petri网FMS分析与调度仿真软件平台,该平台可配置性强,容易维护,降低了柔性制造系统方针研究的复杂性。最后给出了该模型实现的模块结构。     

基于Petri网模型的FMS死锁结构

死锁是柔性制造系统中容易发生的异常现象，如不加以消除，将会导致整个系统的瘫痪。文中通过Petri网模型对FMS的结构分析，揭示出导致FMS死锁的结构元素和活性特征，在此基础上，提出了FMS的无死锁Petri网控制器算法，并举例说明这种控制器算法在FMS中的应用。     

基于Petri网模型的JSP粒子群优化调度

提出一种有效的基于Petri网建模及改进的编码粒子群算法的车间作业调度问题优化算法,分析对比了现有的作业车间调度领域中的基于人工智能的优化算法,对所提出的基于Petri网建模和改进的粒子群算法的优化算法进行了性能分析,并对该算法进行了仿真研究,结果表明该算法是可行、有效的。     

基于Petri网的五笔画输入法算法优化研究

将Petri网理论和五笔画输入法结合起来,提出了一个较完整的用Petri网建立的笔画输入法算法模型。该模型借助Petri网有关理论成果,完成笔画输入法的建模与并行化分析,便于计算机处理。其实质是在五笔画输入之间和查询过程中加入变迁元素,使其更反映汉字查询的本质。首先给出了基于Petri网的整体输入框架建模的步骤和详细过程,然后利用所建立的模型对五笔画输入法算法过程进行了分析,最后把基于Petri网的五笔画输入法算法与手写、拼音输入算法进行比较,证明本文算法具备更优的检索效率。     

基于Petri网建模的并行粒子群算法

粒子群优化算法,起源于鸟群行为的研究,是一种基于群智能的进化计算技术,通过粒子之间的协作与竞争以实现对多维复杂空间的高效搜索。提出了基于Petri网的并行粒子群算法,并采用经典测试函数验证算法的有效性。测试结果表明,算法能很好地控制粒子群优化过程中的早熟问题,并能够较好地得到群落全局最优解。     

Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs

It belongs to the folklore that graph grammars can be seen as a proper generalisation of Petri nets. In this paper we show how this intuitive relationship can be made formal. The double-pushout approach to graph rewriting turns out to be strictly related to Petri nets with read and inhibitor arcs, while the single-pushout approach has strong connections to Petri nets with read and reset arcs.     

基于蚁群-遗传算法的模糊Petri网参数优化算法

在模糊Petri 网（FPN）的建立过程中如何确定模糊产生式规则的各项参数是尚未解决的热点问题。将蚁群算法和遗传算法相结合,提出了GAACA算法。仿真实验表明：该算法具有很强的泛化能力和自适应功能,能够达到参数优化的目的。     

MD_WFN：一种基于Petri网的工作流模型研究*

一个完整的工作流通常包含需要执行的任务集、各任务之间的依赖关系以及支持各任务执行的相应资源类型和执行任务所需的时间等,然而目前大多数的工作流建模方法往往只注重模型的某些方面,缺乏对工作流各要素的统一建模能力。通过对传统Petri网的改进,提出了一种包括任务、控制、资源、时间等多要素的多维工作流模型（multidimensional workflow net,MD_WFN）,实现了任务流、控制流、资源流在同一工作流模型中的统一。对基于MD_WFN模型的工作流模式和工作流建模过程进行研究,为使用MD_WFN     

基于CPN Tools的抑制弧改进方法研究

在Petri网模型中,抑制弧用于表示除输入库所条件外,仅当指定库所为空时变迁才可以触发的情况,可以应用于各类Petri网中。在广泛使用的Petri网模型工具CPN Tools中没有直接提供抑制弧,仅给出了两种等价处理方法。通过对抑制弧的问题进行分析,提出在CPN Tools使用List解决抑制弧问题的改进方法。此方法具有良好的通用性和易用性,并且仅通过修改DropOneInList函数的内容就可以实现随机、栈方式、队列方式、优先级等各种令牌提取方法。     

基于Petri网的OA工作流模型研究

通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网的办公自动化工作流建模方法,该方法具有完全形式化的图形表示和坚实的数学基础,是一种工作流建模和分析的理想工具.在建立办公自动化系统的工作流模型的基础上,讨论了基于Petri网的工作流建模方法,并对该方法进行了正确性论证,表明该方法对于办公自动化系统的实用性和高效性.