您的位置： 专家智库 > >

国家重点基础研究发展计划(1998030416)

作品数：6 被引量：15H指数：3
相关作者：夏传良陆维明徐进更多>>
相关机构：中国科学院数学与系统科学研究院山东建筑工程学院山东建筑大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术化学工程更多>>

文献类型

  • 6篇期刊文章
  • 1篇会议论文

领域

  • 6篇自动化与计算...
  • 1篇化学工程
  • 1篇一般工业技术
  • 1篇理学

主题

  • 7篇PETRI网
  • 4篇有界
  • 4篇有界性
  • 4篇子网
  • 3篇活性
  • 3篇公平
  • 3篇共享
  • 2篇性质分析
  • 2篇子网合成
  • 2篇系统设计
  • 2篇非对称选择网
  • 1篇单链
  • 1篇回复性
  • 1篇P型

机构

  • 5篇中国科学院数...
  • 2篇山东建筑工程...
  • 1篇山东建筑大学

作者

  • 7篇夏传良
  • 1篇徐进
  • 1篇陆维明

传媒

  • 5篇计算机科学
  • 1篇系统工程理论...

年份

  • 1篇2007
  • 3篇2006
  • 3篇2005
共 6 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
Petri网共享T型子网合成结构性质分析及其应用被引量：5
2007年
为了解决系统设计中的子系统共享问题,提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案;研究了共享T-型子网合成网的结构性质,提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件;特别在证明结构活性保持性的过程中,体现了Petri网层次化的描述方法。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的设计和分析,具有一定的实用价值。
夏传良
关键词：PETRI网系统设计
Petri网的T型子网精细化操作性质分析及应用
针对企业用加工厂或车间加工某种产品等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种T-型子网,给出这种精细化操作保持活性、有界性和可回复性的充要条件;本文的结果可为Petri网系统静态和动态...
夏传良
关键词：PETRI网活性有界性
文献传递
论Petri网链路合成被引量：7
2005年
　提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强.研究结果可为Petri网系统合成的静态和动态性质的考察提供有效途径.
夏传良陆维明
关键词：PETRI网非对称选择网
Petri网的PP型子网精细化操作性质分析及应用被引量：2
2006年
针对工厂用车间中的若干台机器加工某些部件等这一类业务处理问题,提出了用 Petri 网精细化操作解决问题的方案。定义了一种 PP-型子网,用这种子网分别对 Petri 网系统中的某些库所进行细化,得到更细致、更精确的Petri 网系统。研究了 Petri 网精细化操作的动态性质保持问题,给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件;本文的结果可为 Petri 网系统静态和动态性质的考察提供有效途径,为 Petri 网复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和处理,具有一定的实用价值。
夏传良
关键词：PETRI网有界性
Petri网共享子网合成及其在系统设计中的应用被引量：2
2006年
针对柔性制造系统的设计和分析,提出了经由 Petri 网共享子网构成合成网的解决方案;研究了 Petri 网共享子网合成的动态性质保持问题,给出了合成网保持活性、有界性的一组充分条件;对一个柔性制造系统进行了设计和分析。本文的结果可为 Petri 网系统静态和动态性质的考察提供有效途径,为 Petri 网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值。
夏传良徐进
关键词：PETRI网有界性活性系统设计
Petri网的TT型子网精细化操作性质分析及其应用被引量：5
2006年
针对企业用加工厂或车间加工某种产品等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种TT-型子网,用这种子网分别对Petri网系统中的某些变迁进行细化,得到更细致、更精确的Petri网系统。研究了Petri网精细化操作的动态性质保持问题,给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件；本文的结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和处理,具有一定的实用价值。
夏传良
关键词：PETRI网活性有界性
Petri网共享单链子网合成及其应用研究
2005年
本文针对多个企业共用一个加工厂加工某种产品这一类业务处理问题,提出了经由 Petri网共享单链子网构成单链子网合成网的解决方案;给出了自由选择网(FC),非对称选择网(AC)的共享单链子网合成网为各自相应网的充分条件;提出了共享单链子网合成 Petri网保持结构活性的条件;本文的结果可为 Petri网系统合成的静态和动态性质的考察提供有效途径,具有宽广的应用前景。
夏传良
关键词：PETRI网非对称选择网
全选 清除 导出
共1页<1>
聚类工具0