算术计算Petri网模型及实现

为便捷证明算术计算Petri网模型的计算能力,分析其具体计算过程.结合面向对象编程语言Java开发插件Arithmetic Petri Net Simulation(APNS),对网中的库所、变迁、弧元素进行实例化,重写Fire方法生成自定义格式的模型运行日志;利用轻量级控件Swing实现交互界面,在模拟运行时对可触发变迁的发生进行选择,利于模型计算过程是否唯一的分析;提出(A+B)*(C-D)与A*B-C*D两个计算模型.实验对幂次方运算、(A+B)*(A-B)以及A^2-B^2模型进行模拟,对插件的可交互性、模型的可行性、幂次方模型运算过程的唯一性以及(A+B)*(A-B)与A^2-B^2模型的等价进行了分析与证明.

基于计算机网络的配送平台优化模型构建

信息化时代的飞速发展,推动电子商务走进了人们的视线,而配送平台的设计与辅助性应用便是影响电子商务发展的重要因素之一。当前的配送平台实践模型多为单一结构,参考文献[1]和文献[2],设定传统物流网格化智能配送平台优化模型,传统Petri网配送平台优化模型,这一类模型虽然可以实现预期的物流配送任务及目标,但是缺乏针对性与稳定性,在实际应用的过程中,并没有结合配送区域当前的路况,导致平台下达的命令出现问题和误差,延长配送时间,严重的甚至会造成不可控的经济损失[3]。不仅如此,单一的配送平台在应用时,自身的执行调度效率较低,针对辅助的配送调度区域,往往难以规划最佳、最短的配送路径,对于后续配送工作的处理形成阻碍[4]。为此提出对基于计算机网络的配送平台优化模型的构建与实践分析。

随机高级Petri网用于计算机网络传输协议的模型与性能评价

本文讨论了具有标记变量的随机高级Ｐｅｔｒｉ网（ＳＨＬＰＮ）以及标识类型、标记变量和等价标记变量的概念，给出了具有等价标记变量可达树构造算法，并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重描述了ＳＨＬＰＮ在计算机网络传输协议的模型与性能评价中的应用，通过这个例子充分显示了这些概念和算法的有效性。

计算Petri网S不变量和T不变量算法

以Petri网的关联矩阵为基础 ,提出了求解Petri网的S不变量和T不变量的算法 .以关联矩阵为基础构造求解矩阵 ,对所构造的求解矩阵进行初等线性行变换和列变换将相应的行元素和列元素变为零 ,并在变换后的矩阵中提取S不变量和T不变量 .

计算的模型:图灵机与Petri网

形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制。Petri网是形式化软件开发的一种很好的描述工具,它在描述异步并发的环境、模型验证等方面有着独到之处;图灵机是迄今为止计算能力最强的计算模型,在理论层面上有着其他模型不可替代的重要作用,它深刻地刻画了物理世界的可识别与可判定2个重要的概念。文章给出了这2种计算模型的一些基本概念、结论以及解决问题的主要方法。最后,用交通管理系统为例说明形式化方法的运用。

基于Petri网的容错计算机可靠性

应用双模型混合Petri网描述与分析容错计算机系统。在分析容错系统的可靠性时,把复杂的混合Petri网模型简化为GSPN模型,并利用GSPN与马尔可夫链同构的性质,来计算系统的可靠性。

Petri网的同步距离计算

同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法。分析表明该算法与可覆盖性树的生成算法具有相同的复杂性。

一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.

并行计算的Petri网建模和FPGA实现

在分析现有Petri网建模及其FPGA实现方法的基础上,首先探讨了并行计算的Petri网建模方法,将并行计算任务分解成多个并行处理单元,用IOPT网为系统进行建模;然后提出了构造监控层和算法层的双层结构以实现模型到FPGA实现的具体映射,有效解决了Petri网模型中变迁只能表示简单加减运算的问题。通过矩阵乘法的应用示例,表明了上述方法的正确性和通用性。最后提出了进一步的研究方向。

基于Petri网的计算机模拟研究

Ｐｅｔｒｉ网作为目前离散动态系统建模中最活跃的建模技术之一，不仅有充分的模拟能力和丰富的分析方法，还便于使用，因而特别适合于模拟方面的研究．

计算无回路Petri网位置不变量的几何方法

基于路增益概念 ,证明了无回路加权事件图位置不变量的存在性 ,并给出了其位置不变量集合的表达形式和最小位置不变量的计算方法。讨论了两个 Petri网基于位置并的位置不变量 ,通过把无回路 Petri网分解成一些加权事件图基于位置的并 ,给出了无回路

线性逻辑、Petri网和并发计算

1.线性逻辑和张量理论在古典逻辑的 Gentzen 型矢列演算中Girard 去除弱规则和缩规则,发展起一种新型逻辑系统——线性逻辑(简记为 LL)。它不同于古典逻辑,本质上是一种事态逻辑(logic of situation),或者是一动作逻辑(logic of action),强调系统的动态特征与并发计算紧密相关。结构规则的去除自然在 LL 中导致了两种类型的连接词:乘性连接词和加性连接词,

面向普适计算的分布式模糊推理Petri网建模及仿真

普适计算环境通常采用集中式推理机制,加重了推理服务器和网络通信的负担,并且未充分利用终端计算能力。分布式模糊推理Petri网模型对模糊推理Petri网模型FRPN进行改进,采用层次结构,表征推理服务器和终端的推理任务执行;通过引入负载度和负载增长率的概念,在模糊推理过程中监控节点资源占用,弥补了集中式推理的不足。仿真实验表明,该模型较之FRPN模型可显著降低系统负载,是一种有效的分布式推理的规约方法。

计算网格任务调度的随机高级Petri网模型与分析

针对一种包含全局调度器和本地调度器的分布式计算网格体系结构,建立了该系统的随机高级Petri网(SHLPN)模型,并进行了模型精化设计以降低模型求解的复杂性,使用基于SHLPN的性能分析技术,对一种基于优先级的任务调度综合控制策略进行了性能分析与评价,数值结果显示了基于SHLPN的建模和分析方法的有效性。

基于对象Petri网的计算机网络仿真建模

首先给出对象Petri网(OPN)的定义及其对基本Petri网的扩展。根据OPN和计算机网络的特点,划分了计算机网络仿真模型,并结合TCP/IP协议讨论建模过程。最后通过基于OPN的CBMSE(组件建模仿真环境)仿真了一个局域网,说明OPN的对网络建模仿真和性能分析应用。

网格计算资源调度的层次Petri网建模与分析

本文给出了网格计算资源的三层调度方案,并利用层次颜色 Petri 网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延 Petri 网模型,不同层次的颜色时延 Petri 网模型可以有不同的行为表现,体现了网格计算资源的异构、自治等特点。给出了层次颜色 Petri 网的可达任务图的概念及构造算法,并利用可达任务图,对网格计算资源调度系统的运行状态进行了分析。

基于Petri网的计算机支持的协同设计仿真技术研究

协作模型的分析和优化是提高协同工作效率的关键技术,可以广泛应用于协同设计等工程领域。利用贴近度理论和Petri网技术,分析了协同活动事件间的模糊时间关系,研究了协同设计过程建模方法,采用面向对象方法描述模型元素的数据结构,设计了系统仿真算法。实验表明,该建模和仿真方法提高了对协同设计过程的描述能力,实现了对协同设计过程时序推理和定量分析。

Petri网与DNA计算

本文是文[1][2]的姐妹篇,以计算机科学近年所发现的新大陆——脱氧核糖核酸(DNA)参加生化反应作为计算(DNA计算)背景,进一步阐明Petri网的丰富内涵。

可修级联生产线的随机Petri网模型及计算机模拟

带缓冲库的可修级联生产线是一类复杂的离散事件动态系统，在用马尔可夫链（ＭＣｓ）方法分析时，随着生产阶数的增加存在状态组合爆炸问题。为此，本文应用随机Ｐｅｔｒｉ网理论，建立了一般可修级联生产线的的随机Ｐｅｔｒｉ网模型。编写了相应的仿真软件，并通过该软件对一６阶生产系统进行计算机模拟，求得了系统的各项指标。

网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。