Petri网精细化操作及其在系统设计中的应用 被引量：16

1

作者 夏传良 焦莉 陆维明 《软件学报》 EI CSCD 北大核心 2006年第1期11-19,共9页

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

关键词 petri网 精细化操作 活性 有界性 系统设计

在线阅读 下载PDF 职称材料

Petri网的并分解 被引量：36

2

作者 王培良 赵义军 叶志宝 《控制理论与应用》 EI CAS CSCD 北大核心 2001年第1期116-118,共3页

给出了Petri网的并分解的定义 ,并讨论了通过这种分解原网与子网在结构性质方面之间的关系 。

关键词 petri网 并分解 结构性质 大系统

在线阅读 下载PDF 职称材料

两类组合Petri网与性能分析 被引量：17

3

作者 李孝忠 杜玉越 《软件学报》 EI CSCD 北大核心 1998年第8期619-621,共3页

提出两类新的组合Ｐｅｔｒｉ网，讨论组合网保持网的结构性质的条件。

关键词 petri网 组合petri网 性能分析

在线阅读 下载PDF 职称材料

Petri网的组合并运算及性质 被引量：6

4

作者 李孝忠 王文德 杜玉越 《计算机科学》 CSCD 北大核心 2000年第8期59-62,共4页

1 引言 Petri网作为系统模拟与分析的工具已在众多领域得到应用。通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,对于合成复杂系统提供了很好的途径。文[1,2]首次提出了Petri网的... 1 引言 Petri网作为系统模拟与分析的工具已在众多领域得到应用。通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,对于合成复杂系统提供了很好的途径。文[1,2]首次提出了Petri网的加法、笛积、广义笛积运算,研究了一系列重要性质。文[3。 展开更多

关键词 petri网 组合并运算 笛并网 性质

在线阅读 下载PDF 职称材料

最大速度变化的连续Petri网(VCPN)的动态演变及性质判定 被引量：9

5

作者 叶志宝 赵义军 董焕河 《计算机研究与发展》 EI CSCD 北大核心 2002年第3期330-334,共5页

最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 V... 最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 VCPN的稳定的相区间 ,进一步对其性质给出了相应的定义及判定定理 .利用这些结论 ,可以对由 VCPN模拟的系统进行性能分析 .这种分析方法对某些系统利用 展开更多

关键词 连续petri网 离散事件系统 动态演变 动态性质 结构性质 绝对公平性

在线阅读 下载PDF 职称材料

Petri网的笛加运算及性质研究 被引量：11

6

作者 李孝忠 杜玉越 《小型微型计算机系统》 CSCD 北大核心 1998年第9期50-54,共5页

本文提出了Ｐｅｔｒｉ网的笛加运算、广义笛加运算，讨论了保持网的结构性质的条件，为Ｐｅｔｒｉ网的分析与综合提供了新途径。

关键词 Pertri网 笛加运算 结构性质

在线阅读 下载PDF 职称材料

基于位置不变量的Petri网分解方法 被引量：4

7

作者 胡红革 谢阅 黄大贵 《电子测量与仪器学报》 CSCD 2004年第2期77-80,共4页

Petri网是系统模拟和分析的有效工具 ,然而对大系统的分析由于变迁和位置的数目大分析起来比较麻烦。文中着重讨论了一种网分解方法 ,给出了Petri网分解的定义 ,并讨论了通过这种分解后 ,原网与子网在结构性质方面之间的关系 ,对用Petr... Petri网是系统模拟和分析的有效工具 ,然而对大系统的分析由于变迁和位置的数目大分析起来比较麻烦。文中着重讨论了一种网分解方法 ,给出了Petri网分解的定义 ,并讨论了通过这种分解后 ,原网与子网在结构性质方面之间的关系 ,对用Petri网分析大系统提供了一种有效的方法。 展开更多

关键词 petri网 位置不变量 分解方法 结构性质 系统模拟 系统分析

在线阅读 下载PDF 职称材料

并行程序Petri网模型的结构性质 被引量：7

8

作者 崔焕庆 吴哲辉 《计算机研究与发展》 EI CSCD 北大核心 2007年第12期2130-2135,共6页

正确性是并行程序的基础,但是由于它的复杂性,其验证要比串行程序困难得多,因此有必要进行建模并研究其性质.从程序的角度出发,在将基于消息传递的并行程序转换为Petri网模型之后,证明了与并行正确的并行程序对应的Petri网模型应当满足... 正确性是并行程序的基础,但是由于它的复杂性,其验证要比串行程序困难得多,因此有必要进行建模并研究其性质.从程序的角度出发,在将基于消息传递的并行程序转换为Petri网模型之后,证明了与并行正确的并行程序对应的Petri网模型应当满足的结构性质,包括强连通性、S-不变量、T-不变量、受控死锁性质以及守恒性,并举例说明了这些性质在并行程序验证中的应用.这些性质可用于并行程序的事前验证,而且避免了使用动态性质进行验证时的状态爆炸问题,从而提高并行程序设计和验证效率.同时这些方法具有良好的可推广性. 展开更多

关键词 并行程序 petri网 MPINet 结构性质 验证

在线阅读 下载PDF 职称材料

Petri网精细化操作及其在系统建模中的应用 被引量：3

9

作者 夏传良 陆维明 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第8期2070-2077,共8页

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

关键词 petri网 精细化操作 结构有界性 活性 系统建模

在线阅读 下载PDF 职称材料

M-Petri网及其性能分析 被引量：3

10

作者 左凤朝 王文德 《计算机科学》 CSCD 北大核心 2001年第5期120-121,115,共3页

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

关键词 M-petri网 性能分析 活性 关联矩阵

在线阅读 下载PDF 职称材料

ST-组合Petri网的结构性质分析 被引量：2

11

作者 杜玉越 李孝忠 乔丙武 《小型微型计算机系统》 CSCD 北大核心 1999年第10期789-793,共5页

本文提出ＳＴ－ 组合Ｐｅｔｒｉ网的概念，讨论了ＳＴ－ 组合Ｐｅｔｒｉ网对子网的结构性质保持问题，深入研究了ＳＴ－ 组合Ｐｅｔｒｉ网的结构活性、结构有界性、守恒性、可重复性、相容性、公平性．

关键词 petri网 ST-组合 结构性质

在线阅读 下载PDF 职称材料

Petri网的公平分解和守恒分解 被引量：4

12

作者 王培良 赵义军 《系统仿真学报》 CAS CSCD 2003年第z1期43-45,共3页

给出了Petri网的公平分解和守恒分解的定义,同时给出了Petri网达到公平分解和守恒分解的具体方法,并证明了这种分解方法保持了网的一些结构性质。

关键词 petri网 公平分解 守恒分解 结构性质

在线阅读 下载PDF 职称材料

无冲突Petri网的结构活性判定研究 被引量：4

13

作者 徐颖蕾 马炳先 《计算机工程》 CAS CSCD 北大核心 2021年第7期296-300,共5页

结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,... 结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,研究该类Petri网结构活性判定方法的相关条件与结论,得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明,该判定方法可在多项式时间内判定无冲突Petri网的结构活性。 展开更多

关键词 petri网 无冲突结构 结构活性 有向回路 T-外延子网

在线阅读 下载PDF 职称材料

一种Petri网合成方法及其在系统建模中的应用 被引量：7

14

作者 夏传良 《系统仿真学报》 CAS CSCD 北大核心 2006年第2期271-277,共7页

针对多个企业共用一个加工厂生产某种产品等这一类系统问题,提出了经由Petri网共享一种子网构成合成网的解决方案;用Petri网为系统建模,先为各企业租用加工厂生产某种产品的系统建立各自的Petri网模型,然后进行共享子网合成得到系统的整... 针对多个企业共用一个加工厂生产某种产品等这一类系统问题,提出了经由Petri网共享一种子网构成合成网的解决方案;用Petri网为系统建模,先为各企业租用加工厂生产某种产品的系统建立各自的Petri网模型,然后进行共享子网合成得到系统的整体Petri网模型。运用这种整体Petri网模型,可达到同步操作和节省资源的目的。给出了自由选择网(FC){非对称选择网(AC)}的共享子网合成网仍为自由选择网(FC){非对称选择网(AC)}的条件和共享子网合成Petri网保持结构活性的条件;结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统建模提供有利手段,具有宽广的应用前景。 展开更多

关键词 petri网 合成 结构活性 系统建模

在线阅读 下载PDF 职称材料

Petri网的TT型子网精细化操作性质分析及其应用 被引量：4

15

作者 夏传良 《计算机科学》 CSCD 北大核心 2006年第9期241-244,共4页

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

关键词 petri网 精细化操作 活性 有界性 公平性

在线阅读 下载PDF 职称材料

基于库所指标分解的Petri网结构性质分析 被引量：2

16

作者 祝军 曾庆田 《计算机科学与探索》 CSCD 2009年第1期91-97,共7页

Petri网的分解技术是复杂网系统分析的一种重要手段,基于库所指标的分解方法将系统分解为一组S-网。基于库所指标的分解方法来分析原网的结构性质,得到了原网对子网结构性质的保持关系,并给出了几种通过子网直接判定原网结构性质的方法... Petri网的分解技术是复杂网系统分析的一种重要手段,基于库所指标的分解方法将系统分解为一组S-网。基于库所指标的分解方法来分析原网的结构性质,得到了原网对子网结构性质的保持关系,并给出了几种通过子网直接判定原网结构性质的方法,为结构复杂Petri网的性质分析提供了有效的方法。 展开更多

关键词 petri网 库所指标 结构性质 分解

在线阅读 下载PDF 职称材料

最大速度恒定的连续Petri网(CCPN)的性质及判定方法 被引量：3

17

作者 赵义军 王培良 《系统工程学报》 CSCD 2000年第1期107-112,共6页

最大速度恒定的连续 Petri网 (CCPN)是由 David等最早提出的一类时延连续 Petri网模型 ,但并未对其性质给出确切的定义及相应的判定方法 .文 [1]中给出了 CCPN的演变图及其构造算法 .本文在给出 CCPN有关性质的定义的基础上 ,结合 CCPN... 最大速度恒定的连续 Petri网 (CCPN)是由 David等最早提出的一类时延连续 Petri网模型 ,但并未对其性质给出确切的定义及相应的判定方法 .文 [1]中给出了 CCPN的演变图及其构造算法 .本文在给出 CCPN有关性质的定义的基础上 ,结合 CCPN的演变图 ,进一步对其性质给出了相应的判定定理 ,利用这些结论 ,可以对由 展开更多

关键词 连续petri网 演变图 结构性质 绝对公平性

在线阅读 下载PDF 职称材料

Petri网共享T型子网合成结构性质分析及其应用 被引量：4

18

作者 夏传良 《计算机科学》 CSCD 北大核心 2007年第3期240-245,共6页

为了解决系统设计中的子系统共享问题,提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案;研究了共享T-型子网合成网的结构性质,提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量... 为了解决系统设计中的子系统共享问题,提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案;研究了共享T-型子网合成网的结构性质,提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件;特别在证明结构活性保持性的过程中,体现了Petri网层次化的描述方法。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的设计和分析,具有一定的实用价值。 展开更多

关键词 petri网 合成 结构活性 公平性 系统设计

在线阅读 下载PDF 职称材料

Petri网的组合积网及性能分析 被引量：3

19

作者 李孝忠 《小型微型计算机系统》 CSCD 北大核心 2002年第1期98-100,共3页

Petri网是一种系统描述和分析的工具 .Petri网组合是由小系统的性质获得大系统性质的一种有效的分析方法 .本文提出了 Petri网的组合积运算 ,包括 Petri网的 型组合积运算和 型组合积运算、Petri网的并积运算 ,讨论了保持网的结构性... Petri网是一种系统描述和分析的工具 .Petri网组合是由小系统的性质获得大系统性质的一种有效的分析方法 .本文提出了 Petri网的组合积运算 ,包括 Petri网的 型组合积运算和 型组合积运算、Petri网的并积运算 ,讨论了保持网的结构性质的条件 。 展开更多

关键词 petri网 I型组合积网 Ⅱ型组合积网 并积网 性能分析

在线阅读 下载PDF 职称材料

Petri网的PP型子网精细化操作性质分析及应用 被引量：2

20

作者 夏传良 《计算机科学》 CSCD 北大核心 2006年第2期25-29,共5页

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

关键词 petri网 精细化操作 活性 有界性 可回复性 公平性

在线阅读 下载PDF 职称材料