基于时间Petri网和启发式搜索的资源分配

提出了一种改进的时间Petri网计划管理模型,综合考虑调度和资源分配,以充分发挥FMS的柔性制造能力.首先根据系统理论,区分了两种资源类型:主角(主资源)和配角(辅助资源),然后再根据主资源构造FMS的时间Petri网.这种方法简化了Petri网的构造,给出了一个清晰的资源调度流程,并且辅助资源的分配可以在调度的同时利用启发式搜索算法给出.最后,给出一个改进的时间Petri网在资源受限情况下进行调度和资源分配的实例.     

基于Petri网和BOM的拆卸建模方法研究

基于Petri网理论提出了虚拟拆卸网模型,关键技术是同步器对变迁的逻辑关系的确定.给出了其库所、变迁以及托肯的含义.基于基本对象模型提出了虚拟拆卸交互模型VDIM,研究了从网到VDIM的实体类型、事件类型、交互模式以及状态机的映射原理,并讨论了VDIM的模型可组合性.从联邦成员的划分,时间管理和同步管理三个方面研究了网模型和VDIM模型中仿真信息的融合,以便直接用于仿真系统的开发.最后的实例证明了研究的可行性.     

机电装配体拆卸序列的自动生成及组合优化

为研究废弃装配体的拆卸序列优化，首先提出了建立装配体的干涉——自由矩阵，作为描述其结构的教学模型．其次，提出“拆卸楔”概念和算法，据此计算各个零件从装配体上可以拆卸下来的方向和次序．最后，鉴于遗传计算的未熟早敛问题，提出建立Tabu搜索与遗传算法的组合优化算法．通过把Tabu搜索的集中与分散策略引入遗传算法，可期望获得更加健壮的搜索行为。另外，关于初始拆卸序列群体，提出1种新的自动生成的算法．实例验证表明，用这种组合优化方法解决装配体拆卸序列的优化问题，所生成的可行拆卸序列在适应度函数值、数量、分布范围等方面均优于单纯的由遗传算法生成的结果，这种方法是通用的，可用于解决更加复杂的拆卸问题。     

基于Petri网的废旧产品拆卸设备设计

为了设计产品特定零部件的拆卸设备,针对废旧产品在拆卸、回收过程中的拆卸需求,提出基于Petri网构建功-构映射模型的方法. 将功-构映射进行扩展,加入需求与行为分析,构造出需求-功能映射的概念设计和功能-行为-结构映射的结构设计;对需求域、功能域和行为域进行分解,根据得到的功能表面利用TRIZ理论进行创新设计,重构出对应的结构模型;运用三角模糊数对不同创新方案进行对比评价,选出最优设计方案,实现拆卸设备从需求到功能再到结构的映射. 选取废旧自行车把手作为拆卸对象,根据扩展后的映射模型选出设计方案,设计出车把拆卸设备的结构模型.     

机电装配体拆卸序列的自动生成及组合优化

为研究废弃装配体的拆卸序列优化,首先提出了建立装配体的干涉——自由矩阵,作为描述其结构的数学模型.其次,提出“拆卸楔”概念和算法,据此计算各个零件从装配体上可以拆卸下来的方向和次序.最后,鉴于遗传计算的未熟早敛问题,提出建立Tabu搜索与遗传算法的组合优化算法.通过把Tabu搜索的集中与分散策略引入遗传算法,可期望获得更加健壮的搜索行为.另外,关于初始拆卸序列群体,提出1种新的自动生成的算法.实例验证表明,用这种组合优化方法解决装配体拆卸序列的优化问题,所生成的可行拆卸序列在适应度函数值、数量、分布范围等方面均优于单纯的由遗传算法生成的结果.这种方法是通用的,可用于解决更加复杂的拆卸问题.     

基于Petri网的电力系统故障域搜索

把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。     

基于Petri网的延迟制造供应链建模

在分析延迟制造基本理论的基础上,应用广义随机Petri网对延迟制造的整个供应链系统进行建模及仿真,通过仿真实验得出整个系统的稳态概率和马尔科夫链,实现对整个供应链系统性能的分析与评估,旨在帮助企业选择最优的供应链成员及最优的运作模式.同时,该模型可在供应链系统出现问题时,通过仿真实验检测出阻碍供应链系统运作的瓶颈,并在此基础上,进行供应链系统的流程再造以满足优化的目的,最大程度地降低企业风险,增强整个供应链系统的协调和控制能力,为企业构建最优的延迟制造供应链系统提供理论参考.     

基于Petri网的供应链系统建模

通过应用广义随机Petri网对供应链整个系统的建模及仿真和整体性能进行了分析与评估，旨在帮助企业选择最优的供应链成员及最优的运作模式，还可在供应链出现问题时，通过仿真找出问题，并在此基础上．进行实际运作，最大程度地降低企业风险，增强整个供应链系统的协调和控制能力。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

基于Petri网可达性和结构的最大许可控制器设计

自动化制造系统属于资源分配系统,在运行过程中容易陷入死锁状态.为自动化制造系统设计控制器,达到避免死锁之目的.另外,良好的受控系统应具有最大许可行为.为了便于实现,控制器通常由线性约束综合表达.在现有的工作中,基于可达性分析,将处理对象缩减为一个小集合,仅包含少数可达非法标识.然后,对每标识构造一个混合整数线性规划问题并求解.由于求解整数规划固有NP-hard特征,该策略计算开销巨大.本文研究死锁的预防控制器设计.在可达图分析的基础上,结合标识的结构特点,对非法标记识别分类,建立代数条件,构造线性约束,确保其行为最大许可性.进而,设计多项式算法,使得计算复杂度显著降低.对特定的Petri网,采用结构分析,获得最大许可的受控系统.另外,对于那些结构分析中未能处理的标识,提出了线性规划解决方案.结果表明,对于所考虑的Petri网子类,避免了求解混合整数线性规划问题,本方案在计算复杂性方面具有明显的优势.最后通过两个实例验证了该方法的有效性.     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

基于时间Petri网的动画描述模型*

提出了基于时间Petri网的动画描述模型, 并结合面向对象方法对动画脚本中角色和情节进行描述, 用该模型来设计的一个动画脚本描述语言已经实现.     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

基于Petri网结构的专家系统推理机制初探

据Ｐｅｔｒｉ网结构及图形表示,分析了一般专家系统的推理机制,针对其规则集,研究了基于Ｐｅｔｒｉ网的并和无所作推理机制。     

模糊Petri网的约简技术

该文作为Petri网系统的推广,模糊Petri网可以更有效地处理带有模糊信息的库所和变迁。首先通过库所变迁串联、变迁并联及库所并联等模式下的简化规则,约简模糊Petri网系统而不改变其动态行为。接着,给出按上述规则简化一个模糊Petri网故障诊断算例。     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

基于Petri网的Web服务组合优化方法研究

在实际应用中,需要将各种W eb服务进行组合和集成以创建动态W eb应用。为了使服务组合性能最优,提出一种W eb服务组合优化算法,该算法在满足用户需求的同时,根据已有的W eb服务,自动获取性能最优的服务组合方案。利用Petri网进行建模,采用可达图进行分析,通过提取网中变迁之间以及变迁序列之间的各种并发关系,得到费用最廉的组合结构。