基于对象函数Petri网的关联区域VOCs危害成因解析

为了找出排放并扩散挥发性有机物(volatile organic compounds, VOCs)到目标区域的污染源,防止目标区域受到进一步的污染,提出基于对象函数Petri网的关联区域VOCs危害成因解析方法。网结构描述了各潜在污染源和受危害目标区域之间的联系,网系统的运行反映了目标区域VOCs危害程度的变化情况,并将危害程度的计算融入到Petri网系统的运行中。通过实际案例研究解析,结果表明:该Petri网模型适用于关联区域VOCs危害成因解析的建模和计算。     

着色Petri网的结构展开方法

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.     

一类模糊Petri网的动态特性及应用

提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模型.最后给出求解知识表示与推理的问题的例子.     

基于Petri网仿真的批处理过程动态调度

批处理过程存在于复杂的动态环境中，来自主客观的干扰及问题固有的易变性，会导致各种过程参数的变化，例如处理时间波动，原材料质量变化等，可能使已有的静态调度失去其最优性，甚或变得不可行。因此，需要研究对意外事件作出快速反应的动态调度方法，以捕捉生产环境的实时变化，本文针对批处理过程中最常出现的操作处理时间波动。结合规则调度思想，提出了基于Petri网仿真技术的批处理过程动态重视度方法，仿真结果表明，该方法能有效地捕捉 处理时间的变化，快速改善调度性能，为批算是过程动态的调度的研究提供了新思路。     

基于颜色Petri网的多agent动态调度建模与分析

多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,能够对分布式系统进行图形化的模拟。提出了一种基于层次颜色Petri网的多agent调度过程建模方法,该方法对多agent任务处理的全过程进行了建模,模型中通过不同角色的agent对任务进行动态分解和调度,利用Petri网仿真工具,能够在调度过程中考察所提出的调度策略与已有调度策略相比所具有的优点,而且通过对调度简化模型的状态空间进行分析,证明了调度策略的正确性和合理性。目前这种基于Petri网的形式化的可视仿真方法和模型评价方法是其它验证方法难以实现的。     

基于Petri网的软件项目管理建模方法

一种新的对于Petri网的拓展方法—库所拓展提出,并在以软件项目管理过程为例分析建模对象的动态特性的基础上,说明了库所拓展Petri网在描述过程管理方面的特点和优势。同时分析了库所拓展Petri网如何迎合建模对象动态性特点及解决由此带来的设计管理工具难等问题,以尽量达到最优的设计目的。     

基于Petri网的多Agent系统建模的研究

多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向.     

离散事件动态系统的Petri网模型实现

事件与状态为表征离散事件系统的两个特征量。事件与状态的变化可直观，方便地表示为状态转移图。本文给出了从状态转移图到Ｐｅｔｒｉ网模型的离散事件系统实现方法。     

基于UML 和Petri 网的武器装备体系需求分析方法

将武器装备体系分为逻辑体系结构和物理体系结构,给出对体系进行需求分析的过程.探讨了利用UML对武器装备体系进行需求描述的方法和步骤,以海洋监视与打击体系为例,利用UML中的协作图和活动图从顶层分别描述了体系的物理体系结构和逻辑体系结构.建立了利用UML构建的体系静态结构模型到利用着色随机Petri网构建的动态运行模型之间的映射关系.针对实例建立了相应的评估模型,利用可达树分析法初步分析了体系的一些逻辑性能.在构建体系结构模型和评估模型的过程中,各模型间既有延续性,又从不同角度反映了体系结构的不同方面,既可保证需求描述和分析模型的一致性,又可比较全面地分析装备体系结构.     

基于Petri网运算的系统范例分析

文献［１］中首次提出了Ｐ／Ｔ网的加法运算与笛卡尔积运算的概念，并对这两种运算的代数性质进行了研究。本文基于文献［１］的结果，对柔性制造系统、资源共享系统、控制系统中若干范例进行分析，从而显示了Ｐｅｔｒｉ网运算的背景及其意义。     

基于语义的Petri网自动共享合成方法研究

提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则来对可融合库所进行合并操作,以实现Petri网的自动共享合成。最后以服务计算为场景,讨论了利用语义技术来自动共享合成得到Web服务组合所需的Petri网的方法,并结合网上购书的Web服务组合实例,验证了该方法的正确性及可行性。     

基于模糊时间Petri网的网络计划模型

针对工程计划中工序作业时间的不确定性以及传统网络计划方法缺乏数学表达能力等问题 ,提出了用模糊时间Petri网 (fuzzy timingPetrinet,FTPN)表达工程计划、求取关键路径的新模型。在给出了时间模糊数、FTPN的形式化描述、FTPN触发规则及数学特性和工程计划FTPN建模规则的基础上 ,把求取工程计划的关键路径问题转化为一个基于FTPN代数方程求取特定标识问题 ,在此基础上 ,进一步计算了工程计划在约束条件下按时完工的可能性。结果表明 ,所提出的模型既能正确、直观地表达工程计划问题 ,又能形式化描述、计算工程计划关键路径问题。     

一种基于Petri网的序列密码加密方案

提出了一种基于Petri网的序列密码加密方案。这种方案的基本要领是用唯一可达向量无界Petri网来产生密钥序列。产生密钥序列的计算量是明文长度的线性函数。这样产生的密钥序列是没有周期性的,也不会出现大的游程。只要每次加密时选用不同的初始标识,这种密码系统是一次一密的。由于初始标识可以以赋值的形式同密文一起传送,密钥传送十分方便。     

基于逻辑Petri网的物流配送系统建模

为了降低建模的难度,更加容易、直观地描述系统的动态过程以及其中的逻辑关系,将逻辑Petri网的建模技术应用于物流配送系统中,对其进行了建模与分析。基于对物流配送系统一般工作流程的分析,比较准确明了地描述了配送系统的动态运作过程,建立了系统的逻辑Petri网模型,并研究了系统的某些重要性质。     

基于Petri网的一类调度问题的分层控制器设计

利用Petri网中T不变量的思想,针对约束为T不变量的Parikh向量形式的job-shop调度问题,提出了一种分层控制器的设计算法,该算法有效地解决了这一有并发约束的控制问题。即使随着系统规模的增大,该方法计算量仍然很小,而且与经典的库所不变量方法相比较,它不受有无自回路的约束,可有效地解决一类实际制造系统中的job-shop调度问题。     

基于混合Petri网的城市交通网络建模与仿真

提出了一种基于混合Petri网的面向控制的模块化信号控制城市交通网络仿真模型.采用层次化的建模方法:首先建立交通网络的轮廓模型,然后对轮廓模型中描述交通网络的关键要素(如交叉口、信号灯等)部位给出加细模型.这种建模方法清晰地描述了各个行驶方向的交通流在交叉口处的转向以及可能出现的冲突情况.此外,将时间因素加入系统模型中,使模型不仅能够反映交通流之间的逻辑关系,而且对车辆的位置、速度、通过时问等物理因素进行描述和计算.这样,就可以对各种具体的信号配时方案的性能指标进行比较和评估,以便找出最优或比较理想的交通控制方案.最后,通过一个仿真实例对系统模型的运行进行计算机仿真.     

基于模糊Petri网的个性化运动方案智能生成

为了生成针对不同用户个体的个性化科学运动方案,一个基于模糊Petri网的个性化运动方案智能生成方法被提出。该方法遵循FITT（Frequency-Intensity-Time-Type）原则,依据大规模运动知识构造运动类型、运动时间、运动频率、运动强度模糊Petri网,结合个体的个性化信息,以矩阵运算形式进行智能推理。首先推理生成个性化运动类型,在此基础上进一步推理个性化的运动时间、频率和强度,然后基于个体意愿对不同运动类型的运动方案进行组合,最终形成一套完备且可操作性高的个性化运动方案。     

基于时延Petri网与BSO的铝挤压线排产调度优化

针对工业生产中铝挤压生产线存在的工序繁杂、排产量大等导致的生产工期较长、效率低等问题,建立了铝挤压生产线的时延Petri网(timed Petri net,TdPN)模型并进行合理性分析;将头脑风暴优化算法(brain storm optimization,BSO)引入TdPN模型,提出了基于变迁序列个体编码解码方式的铝挤压排产调度问题优化调度算法。算法中采用模拟退火局部搜索机制改善BSO算法在后期的寻优性能,实现最小化批次完工时间的排产调度目标;仿真结果表明该方法能够缩短生产线排产工期提高生产效率,为工业生产排产调度问题提供了新的解决方法。