柔性制造系统Petri网模型中的一类共享资源

揭示了柔性制造系统(flexible manufacturing systems,简称FMS)中死锁发生的内在机制,选择形式化的系统建模工具Petri网为手段.在FMS的Petri网模型S3PR网中,同一加工过程内的不同加工操作所共享的资源,是一类特殊资源.同独立加工过程的共享资源一样,同一加工过程内的不同加工操作所共享的资源也可能导致系统发生死锁.因此,将这类资源定义为加工过程内共享资源.在FMS的死锁控制中,需要将加工过程内共享资源的影响因素考虑进来.     

S3PR网多项式时间复杂度的化简算法

针对在一类S3PR网柔性制造系统Petri网模型N中的位置特殊资源不可能出现在网的严格极小信标之中的理论进行研究,对包含此类资源的网系统进行化简,分析了化简算法的时间性能,得出了该算法是多项式时间复杂度的结论,并推广了已有文献的结果.     

柔性制造系统的P－定时有色Petri网模型

给出了Ｆｌｏｗ－ｓｈｏｐ型系统缓冲器容量无限和有限两种Ｐ－定时有色Ｐｅｔｒｉ网模型。模型结构简单，不随机器、加工件种类、数量的增减而变化，普遍适用于按顺序操作或施工过程的模拟。     

自动制造系统Petri网模型SPN的化简

在一类SPN自动制造系统(Automated Manufacturing System,简称AMS)Petri网(Petri net,简称PN)模型中,死锁控制问题需要大量的计算.为了缩小网模型的规模,进而减少计算量,同时缩小控制器规模,需要对自动制造系统Petri网模型SPN进行化简.完美极大资源变迁回路(Perfect Maxi mal Resource-Transition Circuit,简称PMRTC)是描述系统死锁的结构特征.由于位置特殊资源不可能出现在网的PM-RTC之中.因此,对于包含此类资源的网系统,化简算法将位置特殊资源,以及相关操作库所、变迁和弧删去.在保持原网PMRTC不变的基础上,最终得到的网系统具有较少的库所、变迁和较简单的网结构.理论分析证明,化简算法是正确的.而通过对实例的处理,则显示出化简算法的有效性.     

基于时间Petri网和启发式搜索的柔性制造系统调度算法

利用库所延迟Petri网对柔性制造系统进行建模,在Petri网激发变迁生成的可达树中进行启发式搜索,求解最小完成时间调度策略,并改进了现有计算机器剩余时间的启发式函数,对剩余加工操作进行准确分类,以保证算法的最优性.为了提高算法的求解效率,改进后的启发式函数考虑了未产成操作的剩余时间,以使预测值更加准确并减少了计算量.同时,利用实验验证了所提出方法的正确性和有效性.     

基于Petri网的研究生培养工作流模型

工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。     

柔性制造系统中OPN模型的建立

针对敏捷制造单元的特点,提出了一种面向对象的知识Petri网的建模方法。一方面,此方法建 立的实时控制模型可采用数学分析手段进行模型的死锁分析,另一方面,此方法将控制/决策知识融入到面 向对象Petri网中,使控制系统具有一定的智能性。     

随机数学在计算机随机Petri网模型变迁化简技术中的应用

用随机数学方法，推导出计算机随机Petri网中时间变迁的串联、并联及选择结构模型的性能等价公式，为随机Petri网模型的化简提供了一个有效的手段。     

基于Petri网结构分析的死锁避免控制研究

该文基于Ｐｅｔｒｉ网的结构特性,针对柔性制造系统中共享多种资源的串行过程提出了一种死锁避免方法。通过在原Ｐｅｔｒｉ网的基础上增加局部控制库所以保证无陷井的极小死锁带有标识,将扩展网限制到安全标识,从而避免了全局死锁的发生。     

基于Petri网的柔性工艺规划

论述了产品制造过程中的柔性工艺产生的原因及其工艺柔性存在的意义。在分析了CAPP中的柔性工艺与Petri网之间存在的相同特性关系、柔性工艺Petri网与生产调度Petri网之间的融合关系的基础上，推出了基于Petri网的柔性工艺模型，并对模型与关联矩阵的转换进行了描述。这种方法为CAPP与生产计划调度的一体化集成提供了一种新的途径。     

基于规则嵌入赋色Petri网模型的柔性装配系统仿真

针对柔性装配系统复杂的并行作业特点，提出了规则嵌入赋色Petri(RCP)网模型．给出RCP的定义，利用面向对象的语言实现了网的静态描述以及动态运行，在此基础上得到了相关的系统参数，柔性仿真系统以模块化结构实现．以上海科技馆的机器人柔性装配系统为例，给出了它的RCP仿真模型，求出了某作业初始序列下的系统参数，并得到了该作业的最短完成时间的优化序列．     

动态柔性制造系统仿真平台

针对通常柔性制造系统（FMS）仿真方法在体现制造系统动态变化特性方面的不足，开发了一种FMS的可视化、分布工仿真平台。该平台模拟真实FMS的运行，较好地体现了离散事件动态系统的特性，可以作为调度、控制算法的测试平台。作为示例，在该平台上成功地实现了一种基于遗传算法的FMS动态调度算法，解决了FMS实时运行中各种突发事件下的再调度问题。     

柔性存储传输线的赋时Petri网建模

该文在深入研究了赋时Petri网的基础上，对柔性存储传输线进行了建模，提出了采用递推模型简化基本模型，为下一步对实时离散事件系统进行分析和控制研究打下了良好的基础．结果表明递推模型对化简Petri网模型是有效的．     

基于面向对象Petri网的供应链运作建模

采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术中心为支持,提出供应链运作模式;构建各参与对象OPN模型,获得系统P不变量,在此基础上分析系统的性能如死锁、溢出以及冲突等.以制造商为例的OCN的关联矩阵和P不变量分析,证明构建的模型具有良好的性能.     

柔性制造系统分布式仿真系统的实现

计算机可视化仿真是对柔性制造系统 ( FMS)进行设计和分析的一种直观而具有实际意义的方法 .利用面向对象方法和离散事件动态系统建模方法 ,设计并实现了一种开放式、可视化 FMS分布式仿真系统 .该系统通过局域网上若干计算机之间的通讯 ,模拟了 FMS自动化生产车间的实时运行状况 ,通过初始化系统数据可得到不同的系统统计结果对 FMS进行分析     

Reduction Method for Reachability Analysis of Petri Nets

Reachability analysis is an important approach for acquiring Petri net (PN) properties. The reachability tree and the solution of the state equation are two commonly used methods for reachability analysis, but they can result in state explosion and spurious solutions in some cases. As a significant complementary method, the PN reduction technique simplifies the reachability analysis by reducing the net size while preserving the reachability. This paper introduces several useful reduction rules and defines a reduction process for the analysis of reachability which is easy to understand and implement. Some examples are given to explain the method to solve the reachability problem. The analysis shows that the proposed reduction method preserves the visualization feature of PN and can be easily used.     

面向对象Petri网的离散事件系统仿真建模

将Petri网技术和O－O技术结相合,利用消息驱动机制反增强其描述能力而形成对象Petri网（OOPN）,它用面向对象的方法建立系统整体框架,用有色Petri网描述对象,对消息驱动机制对象间传递消息,能较好地将0－O技术和Petri网结合起来,以实现仿真建模。