Petri网精细化操作及其在系统设计中的应用

针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.

Petri网共享P型子网合成及其在系统设计中的应用

针对柔性制造系统的设计问题,提出了经由Petri网共享P-型子网构成合成网的解决方案;研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件;主要动机是对[7]的P-组合网系统的有关结果进行推广,将共享库所合成直接推广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。

Petri网共享PP-型子网合成性质分析

Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetricchoice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段.

M-Petri网及其性能分析

Petri网的应用越来越广泛,对其理论的研究也进一步深入,文[1]～[3]对Petri网的加法、笛积、广义笛积和并运算进行了一系列讨论,得到一些重要性质.对Petri网的活性研究,具有非常重要的理论和应用价值,也是Petri网理论工作者花费很大精力研究的问题[4,5].但对一般Petri网的活性研究至今没有较为理想的解决方法.本文在Petri网的并运算的基础上提出了多重Petri网-M-Petri网的概念,并讨论了M-Petri网的相容、守恒、有界性质以及活性,给出若干结构有界的判定条件.

基于高级Petri网的OSI网络协议描述与验证

本文对ＯＳＩ参考模型进行了全面的分析，并介绍了一种高级Ｐｅｔｒｉ网，称为ＥＰｒ／Ｔ网系统，该系统可作为ＯＳＩ网络协议的形式描述工具．然后，利用ＥＰｒ／Ｔ网系统对（Ｎ）层通信协议进行了形式描述，并阐明了ＯＳＩ网络协议形式描述的一般方法．最后，对协议的有界性。

时间Petri网保持活性、有界性的两个充要条件

活性和有界性是Petri网最重要的性质,对于传统Petri网的这些性质,国内外学者作过大量的研究工作,并且得到了不少成果,而对舍时间因素的Petri网的这些相应性质国内外研究得很少。本文首先介绍了时间Petri网TPN的若干基本定义,然后说明了时间Petri网TPN的活性、有界性和对应传统Petri网的相应性质并无关系,接着给出了时间Petri网保持活性、有界性的时间区间上的两个充分必要条件。为利用传统Petri网的性质判定结果来判定时间Petri网的相应性质提供了可能性。

Petri网精细化操作及其在系统建模中的应用

为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。

基于时间Petri网模型的缓冲优先调度策略稳定性分析

描述了一种时间 Petri网模型和方法 ,它能对具有缓冲优先调度可重入生产线系统进行稳定性分析 .基于系统模型标识的动态变化 ,以缓冲界限概念作为稳定性分析判据 .这种方法可用于具有固定优先次序调度策略的稳定性分析 .推导了基本时间 Petri网结构的稳定特性以及具有正反馈环系统稳定的充分条件 .

Petri网共享子网合成及其在系统设计中的应用

针对柔性制造系统的设计和分析,提出了经由 Petri 网共享子网构成合成网的解决方案;研究了 Petri 网共享子网合成的动态性质保持问题,给出了合成网保持活性、有界性的一组充分条件;对一个柔性制造系统进行了设计和分析。本文的结果可为 Petri 网系统静态和动态性质的考察提供有效途径,为 Petri 网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值。

基于有色Petri网的自动化物流系统的研究

针对西安科技大学自动化物流系统的任务规划,在研究有色Petri网相关理论的基础上,采用基于有色Petri网的方法对该物流系统进行建模,并结合实际系统提出了CPN模型描述性定义,然后在CPN Tools环境下对系统出、入库操作两种操作和出、入库和移库3种操作进行仿真,通过对系统模型状态空间的分析,验证了有色Petri网应用在物流系统中的通用性以及该系统具有有界性和活性等特性,进一步论证了该物流系统任务规划的合理性,为整个系统的稳定性和多任务的协调操作奠定了理论基础。

Petri网的TT型子网精细化操作性质分析及其应用

针对企业用加工厂或车间加工某种产品等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种TT-型子网,用这种子网分别对Petri网系统中的某些变迁进行细化,得到更细致、更精确的Petri网系统。研究了Petri网精细化操作的动态性质保持问题,给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件；本文的结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和处理,具有一定的实用价值。

Petri网化简操作及其在系统验证中的应用

针对柔性制造系统的验证问题,提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持问题,给出了化简后的Petri网保持活性、有界性、可回复性的一组充分条件或充要条件。对一个柔性制造系统进行了验证。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径。为复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的验证,具有一定的实用价值。

Petri网共享PB型子网合成及其在系统设计中的应用

针对柔性制造系统的共享子系统设计问题,提出了经由Petri网共享PB-型子网(Place Bordered Subnet)构成共享PB-型子网合成网的解决方案;研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件;对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。

Petri网的PP型子网精细化操作性质分析及应用

针对工厂用车间中的若干台机器加工某些部件等这一类业务处理问题,提出了用 Petri 网精细化操作解决问题的方案。定义了一种 PP-型子网,用这种子网分别对 Petri 网系统中的某些库所进行细化,得到更细致、更精确的Petri 网系统。研究了 Petri 网精细化操作的动态性质保持问题,给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件;本文的结果可为 Petri 网系统静态和动态性质的考察提供有效途径,为 Petri 网复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和处理,具有一定的实用价值。

Petri网共享T型子网合成公平性分析

共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。本文研究了共享T-型子网合成对参与合成的各网系统的公平性的继承关系,给出了合成网保持公平性的充分条件。随后给出的有关制造系统设计的举例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成性质的考察提供有效途径。

带抑制弧Petri网的保性变换

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

Petri网共享T型子网合成活性分析

为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。

Petri网有界性和公平性关系的进一步研究

对Petri网的有界性和公平性进行了再次讨论,指出Petri网的结构有界库所子集的外延子网是结构有界网,当Petri网的结构有界库所子集的外延子网的变迁集合包含原网的全部变迁时,该子网与原网的公平性是等价的,否则即使该子网为公平网,原网也不是公平网,此结论将一般Petri网的公平性判定问题转化为结构有界网的公平性判定问题。

基于部分状态空间存储的Petri网库所界求解算法

Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性.

Petri网弱公平性和公平性关系的进一步研究

在Petri网中,公平性概念的引入是为了讨论网系统中两个变迁发生之间的相互关系。这种关系可以很好地反映出模拟系统的各个事件在资源竞争中的有无饥饿性问题。文中基于弱公平性和公平性的定义与联系,证明了对于有界Petri网,满足弱公平性就满足公平性;同时证明了在两类无界Petri网中,可由弱公平性推导出公平性。并进一步证明其他类型的无界Petri网是不满足公平性的,即无法从弱公平性直接推导出公平性。