柔性制造系统Petri网模型化简.docVIP

柔性制造系统Petri网模型化简 　　摘要: 在一类S?3PR网柔性制造系统Petri网模型N中，位置特殊资源不可能出现在网的严格极小信标和基本信标之中.因此，对于包含此类资源的网系统，为了缩小网规模，需要对其化简.化简算法对网模型进行处理，将位置特殊资源及相关操作库所、变迁和弧删去.同原网系统相比，最终得到的网系统具有较少的库所、变迁和较简单的网结构. 　　关键词: 柔性制造系统;Petri网;信标;资源;化简 　　中图分类号:TP27 　　 文献标识码:A文章编号:1672-8513(2010)06-0417-06 　　 　　Reduction for Petri Net Modeling of Flexible Manufacturing Systems 　　YUE Hao?1，LI Wen?jie2, 3 　　（1. Department of Computer Science and Engineering, Zhangzhou Normal University, Zhangzhou 363000, China; 2. College of Mechanical and Electronic Engineering, Shandong University of Science Technology, Qingdao 266510, China; 3. Northwest Institute of Nuclear Technology, Xi′an 710065, China） 　　Abstract: In a class of Flexible Manufacturing Systems (FMS) Petri nets (PN) models N named S?3PR, it is proved that neither the strict minimal siphons (SMSs) nor the elementary siphons would contain the special location resources. Therefore, the net with special location resources must be reduced in order that a smaller net can be derived. The reduction algorithm deletes the special location resources, the related transitions, as well as the arcs concerned. Finally, the net obtained has less place, less transition and a simpler net structure. 　　Key words: flexible manufacturing system; Petri net; siphon; resource; reduction 　　 　　柔性制造系统(Flexible Manufacturing Systems，FMS)中的资源竞争会导致死锁，死锁控制问题近年来倍受关注［1-11］.我们可以选用多种形式化方法来解决死锁问题，如Petri网(Petri Net ，PN)、有限自动机、有向图.其中PN方法因为能用一种模块化和系统化的方法来描述FMS操作的不同方面和多种特征而成为最流行、应用最广泛的工具［3-4］. 　　文献［1］定义了一种Petri网子类S?3PR网，通过给这种网系统的每一个严格极小信标(Strict Minimal Siphon，SMS)添加控制库所，而使得网系统是活的.这一工作被认为是第一次运用结构化分析进行基于监督器(Monitor-Based)的活性使能（Liveness Enforcement）Petri网监控器设计［3］.这种方法需要计???网模型的所有SMS，还有一些如文献［2,7-11］中的方法也需要计算SMS集.众所周知，Petri网信标数目相对于网规模来说是指数级的，理论上讲S?3PR网中SMS的数目也是网规模大小的指数级［3］.虽然没有形式化的证明，但大家公认SMS的计算是一件代价高昂的工作［12-13］. 　　文献［2］提出了基本信标的概念，基本信标理论不仅能极大地减少附加控制库所和连接弧的数目，而且能达到同样或更好的控制效果.人们可以先求一个S?3PR网的SMS集，然后从中选出基本信标［2］，也可以直接由一个S?3PR网求其基本信标，这方面的工作包括文献［14-16］.但是，不管哪一条途径，基本信标的计算也是一项花费很大的工作. 　　为了缩小FMS