基于随机Petri网的IEEE 802.11DCF协议建模

本文首先提出了增强广义随机Petri网,增加了标识相关弧多样性和实施函数等特性,扩充了广义随机Petri网的模型功能,并给出了EGSPN的性能分析方法,建立了基于随机Petri网的802.11协议模型,并以RTS/CTS访问方式下协议性能计算及结果分析为例验证了该方法的有效性。     

一种基于Petri网的物流配送系统建模方法

为了降低物流配送系统建模和分析的复杂性,对Petri网进行扩展,提出同步时间Petri网的概念。利用该模型可以很好地刻画物流系统模型中的并行同步结构,同时得到的模型包含若干具有交互关系的子模型,可以通过各个子模型来分析整个系统的性质。所提出的模型能清晰刻画物流配送系统,并有效地降低了建模的复杂性,一定程度上降低了原有的Petri网模型因规模庞大产生的状态空间爆炸问题。     

甘肃区域经济增长收敛问题的空间地理经济学研究

本文基于空间计量经济学的相关理论和模型,利用Beta收敛法来测算1985—2012年甘肃区域经济发展的收敛性。结果表明,甘肃14个市(州)之间经济发展水平不存在显著的空间依赖性,地区经济发展受到邻接市(州)经济发展水平影响的程度不高;甘肃省的区域经济基本上为发散趋势,只在个别历史时期有过短暂的收敛,并且收敛的速度比较缓慢;发达地区的经济发展对全省经济发展的带动作用并不明显。     

基于Petri网的化学危险品出入库流程的建模与仿真

化学危险品出入库的安全性是其物流管理的一个重要内容,利用Petri网对化学危险品出入库流程进行了建模,并运用ExSpect软件对模型进行仿真分析,针对分析结果提出了一些安全防范措施,提升了化学危险品出入的安全高效性。     

基于Petri网的化学危险品出入库流程的建模与仿真

化学危险品出入库的安全性是其物流管理的一个重要内容,利用Petri网对化学危险品出入库流程进行了建模,并运用ExSpect软件对模型进行仿真分析,针对分析结果提出了一些安全防范措施,提升了化学危险品出入的安全高效性.     

基于Petri网的物流配送系统建模方法及健壮性研究

提出了基于Petri网的物流配送系统建模方法,并对配送过程中的业务流程进行建模。给出了配送模型健壮性定义,并基于工作流和Petri网的相关理论给出了健壮性的判定算法,最后通过应用实例证明了该方法的有效性。     

Petri网的角色扩展探讨

Petri网具有严格的数学表述方式和直观的图形表达方式,在软件设计、工作流管理、工作流模式、数据分析、并行程序设计、协议验证等方面得到广泛的应用。随着Petri网的研究和应用的发展,产生了许多扩展Petri网的建模表达方式,包括:着色Petri网、时间Petri网、层次Petri网。现时的软件设计方法以面向对像为主流,在需求分析阶段要对业务流程进行建模工作,需要对业务过程中的人和事进行表述。使用Petri网对业务流程进行建模,一方面,Petri网可以很好地表现业务数据的变迁,却未能表达出相关业务数据变迁所涉及到的实际操作角色。另一方面,使用基于UML和Petri网的混合设计,要做大量的规则映射,不便于最终用户阅读。文章尝试讨论在经典Petri网的基础上,不改变Petri网的数学性质,为Petri网的变迁增加角色属性的描述,使之更有效地适应具体业务流程建模。     

基于Petri网的钢铁企业原料供应物流优化

分析了钢铁企业原料供应物流优化的重要性,利用Petri网建模方法和Arena仿真软件对原料到达入库的物流系统进行了分析并提出了优化措施。     

疫情下基于Petri网的国际航空货运进口流程建模与分析

国际航空货运进口流程是航空运输的重要组成部分，但在新冠疫情期间存在疫情输入的风险，为消除风险并缓解航空货运站拥堵情况，构造国际航空货运进口流程Petri网模型，利用工作任务分析法进行疫情传播风险的识别，并考虑疫情风险输入情况重构Petri网模型，进而引入随机Petri网及其同构的马尔可夫链，对模型进行性能分析，结合实际作业流程指出流程存在的问题，对提升疫情下国际航空货运进口流程的效率提出了建议。     

基于Petri网的冷链物流配送流程建模与仿真

利用Petri网描述事件的特性和CPNTOOLS软件的仿真优化功能,对某冷链物流企业配送流程建模和仿真优化.分析了物流配送业务流程,建立了基于Petri网的某企业冷链物流配送业务流程模型,并对所建立的某企业冷链物流配送业务流程模型利用CPNTOOLS进行仿真分析和优化.采用流程合并、取消、简化、重排、新增等业务流程优化方法,得到优化后的业务流程,并对该流程与优化前进行对比分析,得出优化后的业务流程降低企业的配送成本.     

Analysis of discrete-time stochastic petri nets

The Petri net formalism is widely applied in both theoretical and practical settings. For the sake of performance analysis, the original Petri net model has been extended with the notion of time. This paper addresses the different issues involved with this extension. Also, it provides a state-of-the-art overview of different analysis techniques for timed Petri nets. A new analysis technique is presented, which combines the freedom of choosing arbitrary time distributions within a Petri net model on the one hand and efficient computation means on the other.     

哈维的空间理论辨析及对中国空间发展的启示

大卫 哈维的空间理论主要包括“空间修复”“空间正义”和“生态社会主义”思想。哈维的空间理论直指资本主义制度的弊端,开创了当代研究马克思主义地理空间理论的新视角,在一定程度上应该且能够为构建中国特色社会主义空间发展理论所借鉴。满足人的全面发展需要的“空间发展”是克服资本逻辑下的“空间修复”的必然选择,中国特色社会主义的空间发展,必将真正体现出以人民为中心的空间发展理念,从根本上克服资本逻辑对空间生产、空间正义以及生态环境的控制,真正实现空间正义可持续发展下的人与人、人与社会、人与自然的和谐统一,走出一条不同于西方国家被资本所支配的发展道路。     

基于GSPN的装备器材供应链建模与分析

研究了广义随机Petri网（GSPN）的建模及分析方法,建立了基于GSPN的装备器材供应链流程模型,并将Petri网模型转化为等价的马尔可夫链,得出了供应链模型的主要性能指标,据此分析制约供应链的瓶颈。     

欧盟电动助力自行车安全标准解读

近年来,电动自行车安全问题一直困扰着人们。本文通过对欧盟电动助力自行车安全标准EN15194：2009,尤其对其中的安全、电源管理、电磁兼容、标签及产品说明书等要求解读,可为我国电动助力自行车企业,尤其是产品出口欧盟的生产及贸易企业提升安全质量、产业升级,提供一些借鉴和帮助。     

Alcune proprietà strutturali delle reti di Petri

Dopo aver richiamato i concetti fondamentali sulle reti di Petri, si espongono alcune considerazioni sul problema della raggiungibilità ambientato nello spazio delle transizioni. Si introducono quindi alcune nozioni sulla stabilità e limitatezza strutturali delle reti di Petri, che vengono illustrate con un'applicazione a reti di divisori di frequenza binari. Il problema di decidere della stabilità o limitatezza di una rete di Petri è ricondotto a un problema di programmazione lineare.

---

After recalling the basic concepts about Petri nets, we consider some aspects of the reachability problem in transition space. In particular, some theorems are given on the markings which enable given firing sequences.The new concept of stability of a Petri net is then introduced and we show that it is possible to decide efficiently if a net is stable or bounded by solving a unique linear programming problem.An application to binary frequency divisors is given last.

---

---

Lavoro eseguito nell'ambito del Progetto CP dell'Università degli Studi di Milano e dell'Honeywell Information Systems Italia, e del programma di ricerca finanziato dal C.N.R., contratto n. 79.00701.02.     

基于Petri网的生产企业物流流程设计分析

将Petri网思想应用于企业物流的作业流程设计分析中,以期对优化和改善企业物流作业流程有所帮助,最后,用实例对生产企业的物流流程进行验证,其结果证明是可行的。     

时间Petri网在项目进度管理建模中的应用

通过分析现有时延Petri网和时间Petri网在项目进度管理仿真模型的不足,提出基于库所时间约束Petri网的项目进度管理模型,该模型具备全局时钟特性,不仅能体现工序自身时间参数,同时能对外部资源等工序外延时间约束进行建模。实例仿真结果表明该模型的有效性。     

基于Petri网关键链技术研究

关键链方法秉承约束理论的思维流程,在制订项目计划时兼顾作业间的工艺逻辑约束和资源约束关系来确定关键链,通过缓冲来应对不确定因素。但现有的关键链理论大多都是确定型网络中研究,Petri网具有类似流程图等的可视描述及通过标识的流动模拟系统的动态行为功能,本文介绍了在Petri网下的项目关键链的判断方法,为了让关键链方法能更好地应对复杂多变的现实环境,它对于完善关键链理论有很重要的理论意义。     

立体库作业系统的Petri网建模与性能分析

介绍了广义随机Petri网(GSPN)的基本概念,并利用它建立了立体库作业系统的Petri网模型;阐述了基于GSPN的系统性能分析方法,得到立体库作业系统性能评价的新方法,并通过实例证明其可行性。