共享竞争择一资源Petri网的形式化设计方法  

THE FORMAL SYNTHESIS METHOD OF PETRI NETS WITH SHARED COMPETE AND SELECTIVE RESOURCES

作　　者：崔亚军[1] 王君英[2] 

机构地区：[1]西安电子科技大学电子机械系,西安710071 [2]西安电子科技大学管理工程与情报工程系,西安710071

出　　处：《计算机学报》1993年第10期730-738,共9页Chinese Journal of Computers

基　　金：国家自然科学基金

摘　　要：自动制造系统中有许多共享资源,例如,机器人、数控加工中心、无人导引自动小车等,竞争择一是其共享方式之一,以往,自动制造系统的Petri网控制器设计几乎都是试凑,而且一些性质不能得到满足,如无死锁,这主要是对共享资源的不适当设计造成的,对于多个子系统,为了使之能很好地工作,必须研究一种设计有界、无死锁的Petri网控制器的方法,本文在以往工作的基础上,提出了有界、无死锁、安全Petri网控制器设计的形式化方法,它也适用于Petri网的自动建模。Automatic manufacturing systems share many resources such as robot,CNC machine or AGV.Compete selection is a major mode of sharing.In order to coordinate sub-system to work more efficiently,a design method of bounded and deadlock-free Petri net controller must be studied.This paper presents a formal design method of a bounded and deadlock-free Petri net based on previous works.

关 键 词：PETRI网 竞争择一 设计 自动制造 

分 类 号：TP305[自动化与计算机技术—计算机系统结构]