基于混合法的叶片FMS控制系统研究

本文基于Ｐｅｔｒｉ网建模的混合法，建立了叶片ＦＭＳ控制系统活的、安全和可逆的Ｐｅｔｒｉ网模型，应用该模型开发了叶片ＦＭＳ控制系统仿真器，可成功地避免叶片ＦＭＳ的死锁产生。     

一种用于柔性制造系统仿真的图形Petri网软件工具

本文致力于图形Ｐｅｔｒｉ网软件工具—ＧＰＮＳＴ软件包的设计与实现。首先介绍了ＧＰＮＳＴ的结构和功能，分析了它在Ｐｅｔｒｉ网图形编辑和网结构分析方面的能力；其次正式定义了Ｐｅｔｒｉ网的扩展—赋时着色Ｐｅｔｒｉ网（ＴＣＰＮ），并且使用ＴＣＰＮ建立了柔性制造系统（ＦＭＳ）的简化仿真模型。利用这个模型，能基本实现ＦＭＳ的动态仿真，同时显示整个仿真的过程；最后将调度算法、启发式规则、ＴＣＰＮ模型和仿真结合起来，构成一个基于专家系统的调度器，产生出虽非最优，但是具有比较好结果的可行调度，有效地解决了动态仿真中的ＦＭＳ调度问题。     

模糊Petri网在FMS故障诊断中的应用研究

针对柔性制造系统（ＦＭＳ）故障诊断的特点，将模糊Ｐｅｔｒｉ网扩展为模糊行为Ｐｅｔｒｉ网（ＦＢＰＮ）．并应用于知识的表示中，讨论了ＦＭＳ系统、ＦＢＰＮ及产生式规则之间的对应关系，提出一种模糊反向推理机制，给出了利用ＦＢＰＮ进行知识表示和推理的实例．     

有色Petri网的一种面向对象扩展形式

Ｐｅｔｒｉ网与面向对象的结合一直是一个令人感兴趣的研究课题。本文把有色Ｐｅｔｒｉ网引入到面向对象方法中,提出了一种面向对象的扩展有色Ｐｅｔｒｉ网,简称为ＯＥＣＰＮ,     

FMS故障诊断的模糊行为Petri网研究

根据ＦＭＳ故障诊断推理中知识的模糊性，提出模糊行为Ｐｅｔｒｉ网（ＦＢＰＮ）的定义，研究用模糊行为Ｐｅｔｒｉ网表示模糊产生式规则的方法，提出一种模糊反向推理机制，给出算法的实现。最后以ＢＦＥＣ—ＦＭＳ的刀库换刀故障为例，证明该方法的可行性和有效性     

随机高级Petri网的层次模型和分层性能评介

这篇论提供了一种将大型随机高级Ｐｅｔｒｉ网模型构造成独立子网的方法和技术。这些子网可以独立地进行性能评价，在原模型中子网可由非基本变迁进行性能等效替代，以达简化状态空间的目的。这种技术依赖于ＳＨＬＰＮ模型的层次设计和一个标记穿越子网时平均延时间的估算。     

一个支持软件并行工程的过程建模语言

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言ＳＤＤＭＬ和基于ＳＤＤＭＬ的过程建模方法。ＳＤＤＭＬ基于Ｐｅｔｒｉ网,具有面向对象的特征,可表示不同抽象级的过程模型,支持逐步求精的过程建模方法,为软件并行工程软件过程的控制、分析、评估和优化奠定了基础。     

FMS可靠性指标计算的有色广义随机Petri网方法

ＦＭＳ中靠性分析和故障诊断技术的研究对于提高ＦＭＳ的生产率具有重要意义，本文通过分析ＦＭＳ可靠性研究中存在的问题，针对ＦＭＳ的运行特点，提出了两个衡量ＦＭＳ可靠性的指标－ＦＭＳ停机概率和可靠生产率，给出了利用有色广义随机Ｐｅｔｒｉ网建立ＦＭＳ中靠性模型和计算可靠性指标的方法，这种方法从系统角度研究了ＦＭＳ的可靠性，能够明确反应ＦＭＳ运行中各种故障对于ＦＭＳ生产率的影响，具有良好的理论意义及应用前景     

S-组合Petri网的活性分析与实现

设Σ１＝（Ｎ１，Ｍ１），Σ２＝（Ｎ２，Ｍ２）是两个Ｐｅｔｒｉ网，且不含有冻结标志，Ｎｉ＝（Ｓｉ，Ｔｉ；Ｆｉ），ｉ＝１，２，Ｔ１∩Ｔ２＝Φ，Ｓ１∩Ｓ２≠Φ，本文定义了Σ１，Σ２的Ｓ－组合Ｐｅｔｒｉ网Σｓ，通过引入Ｐｅｔｒｉ网互逆位置序偶的概念，深入研究了Σｓ的活性，给出了Σｓ有界活的几个判定条件。若Σ１，Σ２是两个活的Ｐｅｔｒｉ网，最后提出了一种实现Ｓ－组合Ｐｅｔｒｉ网活性的控制装置。     

MOPNet：基于模块对象的Petri网模拟及其应用实例

本文把向对象的思想同扩充了的Ｐｅｔｒｉ网相结合，构造了基于模块对象的Ｐｅｔｒｉ网模拟方法ＭＯＰＮｅｔ，用于并发系统的建模，并给出了ＣＡＩ通信模型设计和实现的一个应用实例。     

基于面向对象着色Petri网的FMS仿真研究

1引言 柔性制造系统(F Ms)的控制问题是当今Petri网应用研究的热点,也是难点~[1].研的主要困难在于Petri网的复杂性随着系统规模的增加呈指数倍地增长.在当前激烈的市场竞争环下,人们在这方     

基于代数-时态逻辑的象形对象研究

本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状 ,分析了对象形式化语义研究的不足 .其次 ,分析了几种主要的系统形式化模型和方法 .然后 ,在我们已研究的“计算机甲骨文象形码输入法”的基础上 ,从时态逻辑的角度定义了象形对象及其约束条件 ,定义了面向对象的有色 Petri网 (OOPEN) ,并应用 OOPEN描述了象形对象的层次结构 .最后 ,我们将代数规范与时态逻辑相结合 ,对象形对象的语义基础进行了一些研究 .     

基于面向对象着色Petri网的多Agent系统建模

提出了一种基于面向对象着色Petri网（OOCPN）的多Agent建模方法,与其它建模方法相比,OOCPN可以全面地刻画出Agent的个体行为特征和多Agent间复杂、并行的动态交互,讨论了利用OOCPN进行个体Agent和多Agent间交互协议的建模,并通过对网上智能购物系统的实例分析,展示了OOCPN对多Agent系统的建模能力。     

基于Petri网模型的FMS死锁结构

死锁是柔性制造系统中容易发生的异常现象，如不加以消除，将会导致整个系统的瘫痪。文中通过Petri网模型对FMS的结构分析，揭示出导致FMS死锁的结构元素和活性特征，在此基础上，提出了FMS的无死锁Petri网控制器算法，并举例说明这种控制器算法在FMS中的应用。     

一种混合知识基／优化方法的FMS设计系统

针对ＦＭＳ的设计问题，本文提出了基于ＦＭＳ“功能／行为／结构”模型的设计策略，并利用该策略构造了基于知识和优化方法的ＦＭＳ设计系统。该系统由知识库、模型及算法库、资源类库、动态数据库和仿真器组成。     

An object-oriented model for FMS control

The flexible manufacturing system (FMS) is a distributed network of heterogeneous programmable manufacturing machinery, such as assembly lines and numerically controlled machines. Despite these interconnected, programmable hardware elements, the success of building a truly flexible manufacturing system has been limited so far, owing to the lack of flexibility in its control software layer. In integrating heterogeneous machinery, many existing FMS control software systems depend structurally on specific machinery and job-scheduling strategies, and thus it is difficult to incorporate new developments in FMS organization and operational requirements. In searching for an open architecture for the FMS control software system, this paper presents an object-oriented FMS data model. Among others, it represents each physical cluster of related machinery (called a flexible manufacturing cell) as an object. To facilitate the integration of heterogeneous physical cells, such cell objects share a common protocol of interacting with the main control process through inheritance from the abstract cell class. Other related physical and abstract entities in FMS are also modelled as objects, with their similarity and difference captured in inheritance hierarchies. To verify the proposed approach experimentally, a prototype FMS control software system named FREE (FMS Runtime Executive Environment) has been implemented on top of a commercial object-oriented database system.     

Object-oriented design of FMS control software based on object modeling technique diagrams and Petri nets

Control software is very important to realizing the full benefits of flexible manufacturing systems. This paper highlights the difficulties in developing such software and proposes an object-oriented design (OOD) method using object modeling technique (OMT) diagrams and Petri nets (PNs). OOD is used to design reusable and easily maintainable software. OMT diagrams are used to represent explicitly different kinds of static relations, such as generalization, aggregation, and association, among the objects in an FMS. PNs are used to model the dynamic behavior of the objects and the entire FMS and to conduct performance analysis. The use of PNs also leads to a method to identify the data structures and operations of software objects. The proposed method is illustrated through an FMS example. Its capability to support reusability, extendibility, and modifiability of the resulting control software design is also demonstrated when the FMS specifications change.     

基于Petri网的柔性制造系统作业调度研究与实现

选择面向对象的有色Petri网对FMS进行建模,研究FMS调度控制问题.本文针对柔性制造系统的特点,采用面向对象的着色Petri网建立了由工件、机床、运送和仓贮对象等组成的模型.模型是一个包括加工系统、物流系统、管理系统在内的一个完整的FMS模型.该模型由于采用了面向对象技术,具有可移植性、可扩展性的特点,并且易于用软件去实现,本文使用"映射"法,把库所映射为软件数据、变迁映射为程序函数和方法、子系统映射为软件系统基本类,从而把FMS Petri网模型转化为FMS控制管理软件程序.本文采用简易的工艺文件数据,对FMS控制管理软件运行进行了测试.通过对测试结果的分析,验证了本文所建立的FMS物流系统模型和设计的FMS柔性生产线控制管理软件的正确性和有效性.     

FMS中动画仿真系统的设计与实现

ＦＭＳ动画仿真系统是通用单元控制器中的一个主要子系统，本文介绍了该系统的两个主要组成；