1、ICS 29020K 09 缮园中华人民共和国国家标准GBT 2 1 654-2008IEC 60848:2002代替GBT 69886 1993顺序功能表图用GRAFCET规范语言GRAFCET specification language for sequential function charts2008-03-24发布(IEC 60848:2002,IDT)20081卜01实施车瞀鹊鬻瓣警瓣瞥翼发布中国国家标准化管理委员会仅19GBT 21654-2008IEC 60848:2002目 次前言引言i范围2规范性引用文件3术语和定义4 通则5元素的图形表示6顺序结构的图形表示7结构化附录
2、A(资料性附录)压力控制示例附录B(资料性附录)示例:自动称重搅拌装置附录C(资料性附录)本标准和GBT 159693顺序功能表图之间的关系参考文献oo抖n卵曲削 昌GBT 21654-20081EC 60848:2002本标准等同采用IEC 60848:2002顺序功能表图用GRAFCET规范语言(英文版)。本标准代替GBT 69886 1993控制系统功能表图的绘制。与GBT 69886 1993相比,有如下改动:作了全面的技术修订;主要增加了以下概念:输入事件、内部事件、指定、分配、强迫作用、宏步和封装。本标准的附录A、附录B和附录c是资料性附录。本标准由全国电气信息结构文件编制和图形符
3、号标准化技术委员会提出并归口。本标准负责起草单位:机械科学研究总院中机生产力促进中心、信息产业部邮电工业标准化所。本标准主要起草人:郭汀、谭泳、高永梅、沈兵、高惠民、李萍。本标准所代替标准历次版本发布情况:一GBT 698861993。GBT 21654-20081EC 60848:2002引 言为满足用户的需求,本标准进行了修订,在规范语言中增加了一些新的概念以及对结构和分级的描述。第一版中已对GRAFCET作了语言描述和功能规定,除此之外,还有必要增加形式和行为方面的内容,这些都是定义一项真正的规范语言的基本要素。基于以上原因,需要对规范文件进行全面的修订。本标准主要面向那些需要对系统(自
4、动机械的控制命令、安全部件等)行为进行说明的人员(设计、生产和维修工程师等)。本规范语言也可作为自动系统的设计者和使用者沟通交流的手段。GBT 21654-2008IEC 60848:2002顺序功能表图用GRAFCET规范语言1范围本标准规定了对控制系统中的顺序行为进行功能描述的GRAFCET”规范语言。本标准也规定了GRAFCET图形表示的符号、规则及说明。本标准还为工业应用中的自动生产系统打下基础,没有特别的应用领域排除在外。用GRAFCET制定规范的方法不在本标准包含的范围之内。如GBT 159693 1995规定的“SFC语言”就不包含在内,该语言规定了可编程控制器的编程语言集合。注
5、:有关本标准与GBT 159693 1995的SFC执行语言之间关系的更多信息参见附录c。2规范性引用文件下列文件中的条款通过本标准的引用而成为本标准的条款。凡是注日期的引用文件,其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本标准,然而,鼓励根据本标准达成协议的各方研究是否可使用这些文件的最新版本。凡是不注目期的引用文件,其最新版本适用于本标准。GBT 290056-2002 电工术语 自动控制(idt 1EC 60050351:1998)GBT 472812电气简图用图形符号第lz部分:二进制逻辑元件(idt IEC 6061 7 database)3术语和定义下列术语和定义适用
6、于本标准。前面带-k号的术语仅用于GRAFCET规范语言。术语按英文字母顺序排列。31动作action与步有关的GRAFCET语言元素,表示输出变量所进行的活动。32表图chart图graph用图形方式描述系统的行为,如:两个或更多变量、操作或状态之间的关系。33有向连线directed link表示步之间路径进展的GRAFCET语言元素,它将步连接到转换并将转换连接到步。34grafcet表图grafcet chart使用GRAFCET的功能表图注:“grafcet表图”简称“”grafcet”。35输入事件input event在系统顺序部分的所有输入变量中,因至少一个值改变而引起的事件。
7、1)转换阶段指令的功能图。GBT 21654-2008IEC 60848:200236内部事件internal event由与系统顺序部分的状态有关的输人事件引起的事件。37-k翻译interpretationGRAFCET中的一部分,能够连接:输入变量和结构,通过转换条件来实现;输出变量和结构,通过动作来实现。38状态situation在给定时刻由GRAFCET描述并由活动步表征的系统状态的名称。39-k步step用于定义系统顺序部分状态的GRAFCET语言元素。注1:一个步可以是括动的或非活动的注2:活动步的集合决定了系统的状态。310士结构structureGRAFCET的一部分,能够描
8、述状态之间可能的进展。311系统system在限定范围内被看成是一个整体并与周围环境分隔开的一组相互关联的元素。EGBT 290056,351 11 01注1:此类元素既可以是客观物体也可以是概念和概念的产物(例如:组织形式、数学方法、程序语言)。注2;系统被认为由一虚拟面切断与周围环境及其他外部系统联系,使系统与其分隔开。注3:GRAFCET语言可用于描述任何系统的逻辑行为312瞬时进展transient evolution随着单一输入事件的发生,由几个连续转换的事件所表征的进展。313转换transitionGRAFCET语言元素,指示出在两步或多步之间活动的可能进展。注:可能的进展通过转
9、换实现来获得。314-k转换条件transition-condition与转换有关的GRAFCET语言元素,用布尔表达式的结果来表示。注:转换条件可以是真的也可以是假的。4通则41上下文自动系统的实现特别要求描述相关原因及结果。为了做到这一点,要描述系统预期行为的逻辑特征。通过布尔输入和输出变量所访问的系统的顺序部分,是这一物理系统的逻辑特征。系统行为的方式是输出变量依赖于输入变量(见图1的注)。GRAFCET的目标就是规定系统顺序部分的行为。2布尔输入变量非布尔输入变量GBT 21654-2008IEC 60848:2002测试信号吓五础系统顺序部分布尔输出变量非布尔输出变量注:系统顺序部分
10、由其输入变量、输出变量和行为来表征,顺序部分仅由输入和输出布尔变量组成。不过,扩展的GRAFCET规范语言可以描述非布尔变量的行为(例如:命题的判断或变量的数值分配)。图1 系统顺序部分的图形表示42 GRAFCET,一种行为规范语言用GRAFCET规范语言能够生成grafcet表图以表示给定顺序系统的预期行为。这种语言主要由图形元素来表征,此类图形元素与变量的字母数字表达式有关,在对系统状态问接描述的基础上,给出对其行为的综合表达方法。状态中行为描述如下:“单标记”状态与GRAFCET状态有关,该状态隐含了在给定时刻状态的唯一性。各状态通过进展条件互相连接,进展条件描述从一个状态变为另一个状
11、态的信息。为方便起见,最好用对步的描述即GRAFCET来代替对状态的行为描述。在GRAFCET语言中,若干步可以是同时活动的,因而在特定的时刻,状态可由活动步集合来表征。从一个步集合到另一个步集合的进展被翻译成一个或几个转换,每个转换可由如下步来表征:它的前级步;它的后续步;相关的转换条件。注:因这些原因产生了语法规则以加强步转换的选择43 GRAFCET,简要介绍GRAFCET语言用来设计gracet表图以给出顺序系统行为的图形和语法表示。(图2)可区分为:结构,用来描述状态之间可能的进展,翻译,使输入、输出变量和结构之间能够发生关系(为完成翻译,需要进展、指定和分配规则)。431 由下列基
12、本项组成的结构步(定义:39,符号1):一个步可以是活动的或非活动的,在任何给定时刻,grafcet表图的活动步集合表示了当时这个grafcet图的状态。转换(定义:313,符号7):转换表示在二步或更多步之间活动进展的演进。进展通过转换终止来实现。有向连线(定义33,符号10):有向连线将一步或若干步连接到转换,或者将转换连接到一步或若干步。GBT 21654-2008IEC 60848:2002432下列元素用于翻译转换条件(定义:314,符号13):转换条件是与每一个转换有关逻辑表达式,其值可为真也可以为假,由输入变量和或内部变量组成。动作(定义:31):写在矩形框中,用指定(连续动作,
13、符号20)或分配(存储动作,符号26)控制输出变量。f 高位7、移转 ,_ 布尔布尔低位 系统顺序部分 、慢降l 输出变量输入变量上升、k7结束进入 V,77, 、由逻辑运算符。与构成步l和步2一 持张斛脯破量一。H快 移转 有向直线r 四 八分然爹。H 慢降 移转l l转换3和一 菇盐喜转换4结构 翻译图2 grafcet表图中,结构和翻译用来描述由输入和输出变量定义的系统顺序部分的行为44语法规则无论连接顺序如何,步转换和转换一步总是交替出现的。结论:二个步永远不应被有向连线直接连接。有向连线应仅将步连接到转换或将转换连接到步。45进展规则由于在给定时刻每个状态都由活动步的集合来表征,因此
14、对于步来说GRAFCET进展规则只影响GBT 21654-20081EC 60848:2002系统顺序部分状态之间进展原则的应用。451初始状态初始状态是初始时刻的状态,因此由这一时刻的活动步集合来描述。选择初始状态有不同方法,这些方法与系统顺序部分的类型有关。规则1:初始时刻的状态可由设计者选择。452转换实现规则2:当所有连接到转换的直接前级步活动时,转换使能。转换的实现发生在:当转换起使能;且当相关的转换条件为真。453活动步的进展规则3:转换实现的同时激活所有直接后续步,并使所有直接前级步去活。454同时进展两个活动状态之间的进展意味着:没有其他可能的中间状态,当状态用步的集合表示时,
15、从一种状态到另一种状态的变化瞬间发生。规则4:几个能同时被实现的转换,可同时实现。455同时使一步活动与不活动若一步既包含在前级状态中又包含在其随后的状态中,那么它只能保持活动。规则5:如在运行期间,活动步同时被激活或去活,则它保持活动。46输入事件进展规则表明,只有输入变量值的变化可引起grafcet的进展。被称作“输人事件”的这种变化由所有输入变量的前一个值和后续值来定义,以表征这一单一事件。习惯上,输人事件集合仅由一个或多个布尔输入变量中被表征的状态变化(上升沿或下降沿)来定义。注:布尔变量前的记号“t”表示逻辑变量的上升沿,当变量值从。到1变化时,上升沿只为真。布尔变量前的标记“0”表
16、示逻辑变量的下降精,当变量值从l到0变化时,下降器只为真这就是说“事件发生”在表征它的输入变量状态发生变化的时候。461输入事件规范输入事件规范常出现在转换条件中,由一个或几个表征变量的逻辑表达式来执行,它极少可直接由内部事件规定(见47)示例1:十a表达式“十a”描述了所有输入事件的集合,若不考虑系统中其他输入变量的值,对该事件集来说,输入变量a的前一个值是0,而它的后续值是1。示例2:a十b表达式“a十b”描述了所有输入事件的集合若不考虑系统中其他输入变量的值,对该事件集来说,输入变量a的前一个值是1,输人变量b的前一个值是0而后续值是1。示例3:a表达式“a”描述了所有输入事件的集合,若
17、不考虑系统其他输入变量的值,对该事件集来说,输入变量a的后续值是l。注:在转换条件中,该表达式会导致瞬时进展(见312)。47内部事件只有确定的输人事件才能在给定的状态中发生。状态和发生于该状态的输入变量之间的连接称为内部事件(见36),这一概念主要是设计人员使用,使输出分配能适合内部事件集(见482)。内部事件集可用下列方式之一来实现。471用步的激活描述内部事件步的激活用图形表示(符号27),它描述了这样的内部事件集,其中的每一个内部事件都以步的激5GBT 21654-2008IEC 60848:2002活作为结果。472用步的去活描述内部事件步的去活用图形表示(符号28),它描述了这样的
18、内部事件集,其中的每一个内部事件都以步的去活作为结果。473用转换实现描述内部事件转换实现用图形表示(符号29),它描述了这样的内部事件集,其中的每一个内部事件都以转换实现作为结果。48输出模式能使grafcet表图和输出之间的连线建立连接的动作。两种输出模式分别为连续模式和存储模式,描述了输出如何依赖于进展和系统输入。481 连续模式(根据状态进行指定)连续模式中,如果步是活动的且指定条件被确认,则步的相关动作表明输出变量值为真。指定条件是输入变量和或内部变量(见符号22)的逻辑表达式。如果没有一项条件符合,且假设与同一输出有关的其他动作都不符合条件,则输出变量取值为假。指定参考了赋给输出变
19、量的值(真或假)。本地指定集合(在给定时刻与活动步有关)定义了此状态的所有输出变量的指定。指定规则:对于给定状态,指定与连续动作有关的输出值:真值为:有关动作的每个输出与活动步相关且其指定条件能被确认;假值为:(没有指定真值的)其他输出。482存储模式(根据事件进行分配)存储模式中,如果有事件发生,内部事件的动作表明输出变量被赋值并保持该值。需要明确描述出事件的相关动作(激活步、去活步、转换实现等)。与存储动作有关的输出值一直保持不变直到一个新的规定事件改变其值。在特定时刻,分配要参考存储动作,已确定的值会影响输出变量。分配规则:与存储动作和事件相关的输出值会被分配为指示值。如规定的内部事件发
20、生,无论是在初始状态、设置状态还是持续状态,输出值均为空。49进展规则的应用进展亦可称之为一步接一步,它标明了渐进路径。当输人事件发生时,通过在每一转换连续应用进展规则,进展沿着该路径从前级状态变化的此事件确定的后续状态。翻译器是一种装置,能对间接规范的进展使能。但是设计人员应注意该路径上的转换实现不包括中间状态的有效活动。491非瞬时进展进展通常是非瞬时的,这意味着输入事件仅会引起一个进展状态(同时有一个或多个转换实现)。6示例:“非瞬时进展”前级状态:步11活动,a一0,b=O且C-0。进展可解释为:“a”值的变化包括转换(1)的实现和步12的激活,因为b-0,转换(2)无法实现;所以后续
21、状态为:步12活动。进展的实际含义是:当输人事件发生,例如值从0到1的发生变化,直接导致后续状态为:步12活动。南南蕈内下南向千向千GBT 21654-20081EC 60848:2002492瞬时进展在某些情况下,当第一个特定转换实现后,与后续转换相关的转换条件如果已经为真,(在几个进展阶段)应用进展规则能实现某些转换。有关瞬时进展的描述,是用路径来指明怎样从前级状态演变到后续的状态(见38)。不激活不稳定的相关中间步,但假定它们沿着直观进展路径被“虚”激活和去活,同样,相关转换被“虚”实现。493依赖于指定的瞬时进展结果494由定输出示例:“瞬时进展”前级状态:步1l活动,a-0b一1且c
22、o。进展直译为:“a”值的变化包括转换(”的实现和步12的虚激活,于是转换(2)虚实现;因为b-1,所以后续状态为:步13活动。进展的实际翻译为二当输入事件发生,例如值从。到1发生变化,直接导致后续状态为:步13活动。由于步没有真正被激活(见481),由瞬时进展中不稳定步的连续动作指定的输出值无效。示例:“不稳定步的连续动作”前级状态:步11活动,a一0,b=1且c=0。当输人事件发生,例如“a”值从0到1发生变化,直接导致后续状态为:步13活动。前级状态(步11活动)和后续状态(步13活动)将0赋给输出变量B。不稳定的步12没有真正被激活,在瞬时进展中给B赋值为1无效。82),由瞬时进展中不
23、稳定步的存储动作(符号26)分配的确示例I:“激活不稳定步的存储动作”前级状态:步ii活动,a一0,b=1且c一0。当输入事件发生,例如“a”的值从0到I发生变化,直接导致后续状态为:步13活动。当输入事件真正地或虚拟地激活步12,将值1分配给输出变量B作为结果。7南向下囱小南向干由十GBT 21654-20081EC 60848:2002示例2:“去话不稳定步的存储动作”前级状态:步11活动,a-0,b-1且c一0。当输人事件发生,例如“a”的值从0到1发生变化,直接导致后续状态为:步13活动。当输人事件真正地或虚拟地去活步12,将值0分配给输出变量B作为结果。410两种输出模式比较输出模式
24、的选择依赖于习惯和使用的方法。设计者要注意两种模式的重要差别。4101确定输出值在连续模式中,所有输出根据状态赋值。对于指明了活动步的动作,其输出是真值,其他的则输出假值(见分配规则482)。在存储模式中,根据指示值只能修改确定的输出,输出的其他留存值保持不变(见分配规则482)。4102限定时刻grafcet表图输出值的分析在连续模式中,知道状态和输入值已能确定输出值(见481)。在存储模式中,仅知道状态和输入值还不够,还应了解前一进展以确定输出值(见482)。4103有关瞬时进展的动作在连续模式中,不稳定步因为没被激活,其相关动作不予考虑。在存储模式中,由于触发事件释放了进展,会考虑与事件
25、和瞬时进展相关的动作。4104输出值可能发生的冲突在连续模式中,对于特定输出,指定原则保证了可避免每一个指定冲突。在存储模式中,对于同一输出,分配规则不能避免出现指定冲突,设计者应确保两个矛盾的分配不会同时发生。注1:在GRAFCET规范中两种输出模式都能使用,但输出变量值只能由指定或分配来确定。对输出变量的分配(存储模式)不包括该输出变量的任何指定(连续模式)。注2:第5章给出了图形符号,这些符号能从(没有任何指示的)连续模式中识别出(由规定事件集合明确表示出的)存储动作。注3:在多数控制系统的行为规范中,目前的工业规范使机器的所有输出使用连续模式,而存储模式则描述内部控制任务。这些任务涉及
26、内部变量,如计数器的增量、数字寄存器值的修改等,此处不需要布尔量。有关存储动作的内部任务,也就是与转换条件有关的计算表达式在本标准中不予描述但是它们与grafcet进展的逻辑描述有关设计者在对它们进行描述时应注意清晰一致。5元素的图形表示GRAFCET元素有自己的图形表示,这种表示只要正确关联,就是清晰的能够执行的综合功能表图。注1:符号的整体表示已经确定好,使用者只能确定尺寸和细节(线宽、字体等)。注2:圆点表示符号的上下文。8表1步GBT 21654-2008IEC 60848:2002序号 符 号 描 述1 田 步:在给定时刻,一个步可能是活动的也可能是不活动的。在确定时刻活动步的集合定
27、义了所给系统的状态。尽管推荐使用正方形,但矩形的长宽比可以是任意的,为了区别。步应该有标记,如字母数字。步的标记应代替符号上半部分的星号。:田:猕一”田用圆点标记这些步可以指示出在给定时刻哪些步是括动的。此圆点不属于步的符号,仅用于说明2 步变量:步的活动或非活动状态可用布尔变量x+的逻辑值1或“o”表示,变量XX。中的号应用相关步的标记代替。示例:“步8的步变量”是X833 画 初始步:符号表示该步处于初始状态。注1:应用了符号l的规则。注2:初始步可能是“不稳定的”,见492。愀一画4 囹 封装步:该符号表示步中包含了被称为封装步的其他步注】:应用了符号1的规则。注2:73给出了封装步的使
28、用特性和示例。5 画 初始封装步:符号表示该封装步处于初始状态。注:初始封装步至少要包含一个封装的初始步。6 日 宏步:功能表图详细部分的唯一表示,被称为宏步的展开。l M+f 注:74给出了宏步的使用特性和示例匕j9GBT 2165412008IEC 60848:2002表2转换序号 符 号 描 述7 转换:由一步到另一步转换由一条垂直于两步之间有向连线的短线表示。注1:当直接前级步是活动步时,转换使能(见452进展规则2)。注2:两步间只可能有一个转换(见44)注3:为了用图形表示,可将转换置于水平有向连线上(见附录B、图B5,grafcet Gl部分)8 r一一 转换指定:转换可有指定,
29、一般置于图的左边,这样不会与转换条件混淆。转: : 换的字母数字标记应代替星号()+9 ;一1 同一时刻的前级和或后续转换:当几步连接到同一转换时,连到这些步的有L一,_j 向连线_j合成一条线连到前级或后续的并行符号,该符号由两条水平平行线表不。t1|=:眨:l 旦季罢嬲黧秽张。缈12处碰墼曩兰然茹淼嚣a前臼团图图示觚从卿4、28、35)到步(1啪936、46)的转I 换。当所有前级步都处于活动状态时,转换(14)(14)十 使能由由由由10表3有向连线GBT 21654-20081EC 60848:2002序号 符 号 描 述103i-一jIi ;窳窳毹括1】 _二一一 从底部到顶部的有向
30、连线:习惯上,进展的方向总是从顶部到底部的。如果I I 投有遵守这种约定或想使表达更容易理解,应加箭头I II11一JII II II一12甲GBT 21654-2008IEC 60848:2002表4相关的转换条件序号 符 号 描 述13呈 关门且无压力部件作用q呈。西。,示例孔用布尔表达式描述的转换条件14 转换条件总为真:符号“1”表示转换条件总为真。注:在这种情况下,进展是瞬时的(见492),只有在前级步活动的条件下转换实现Ds 逻辑要刚上升稿:当状悉韭量发生变化时(上升措从0到I韭化,见46驸注),符号“十”表示转换条件只为真。该符号为通用符号可用于所有逻辑命题,既可用于基本变量也可
31、用于几个布尔变一寸一下*口 嚣纵帖吲糨惯蝴州瑚媒躲触千ta 注:差:蓦至翼姜雾换被步3的活动使能后转换只能口淼戴卦黼加到糨峨擞删瑚12表4(续)GBT 21654-2008IEC 60848:2002序号 符 号 描 述16一一l 禺。, 蓁关萎筹嚣积“。”从状态1到状态。发生变化时相关17 i一11一tl*t2嚣篡嚣淼嚣躲18+t1X甲 蓁圣纛篓翩籼转臼13GBT 21654-2008IEC 60848:2002表4(续)序号 符 号 描 述19一一 圈 应该用验证后的命题代替既厂一j I 谓词的布尔变量可与其他逻辑变量一起构成转换条件的十c12 3 逻辑命题。由 融黼尉忙3嘴蛐哺换条黼氮曰
32、 示例la削数器C1的当前值等于3时,转换条件I 当计教嚣CI的 为真。T当前值等于3时 注:不强制规定命题的形式,如文字语言也可使用。曰同 示觚当命肌8被验证,且布尔变量k的值为“l。+ct,st,“ 萎害嚣誓嚣为真这意味着温度1高于8且。能达到曰 +,主型毒京勰姜嚣嚣鬻:嚣芸萋65 器R1的值不等于24。表5连续动作序号 符 号 描 述20 一 连续动作:连续动作必须与步相关。一步可与几个动作有关。对于表示步的矩形虽然建议其高度相等,但矩形的高宽比是任意的。由于存储动作(符号27到30)没有直接的符号表示,与步相关的矩形符号通常总是指连续动作14表5(续)GBT 21654-2008IEC
33、 60848:2002序号 符 号 描 述21 口一二田亘口习口卫吧四p吲“1 e l c l谓瑁22 墨: 分配条件:分配条件是一个可为真也可为假的逻辑命题,它影响所有的连续动作。没有标记则表示分配条件总为真。用文字形式描述的分配条件,或输入变量和或内部变量问的布尔表达式应代替星号。分配条件从不包括变量的边措(见符号15和16),由于连续动作不被记忆,因此对事件的分配没有意义(见482)。示例l:当步24活动且分配条件d为真,分配给输出V2真值。在相反情况下,分配给输出V2假值。换句话说(即布尔方程):V2=X24d日亡口注:X24是反映步24活动的步变量。示例2:当步24活动(分配条件总为
34、真),分配给输出V2真值。在相反情况下,分配给输出V2假值。换句话说(即布尔方程):V2一x24日_二1 5GBT 21654-2008IEC 60848:2002表5(续)序号 符 号 描 述23i1 rJ一一!:竺一jl一l I一j曰_I 3sa17s24 延迟动作:延迟动作是连续动作,仅当相关步-,k-活动t1时间后,分配条件为0iiitiliXi+ii 真,其目的是延迟对相应输出分配真值的时间。示例:从步27开始活动3 s后,分配真值给输出B。注:如步27的活动时间少于3 s,则不分配真值给输出变量B253 rH竺曰I 6s!X28X28BJ16GBT 21654-2008IEC 60
35、848:2002表6存储动作存储动作在矩形中有标记(符号26),根据分配规则(见482)标记描述了如何给输出变量分配确定值。当发生输出分配事件时,与存储动作有关的事件规范必需要指明(见分配规则482)。对于与存储动作有关的不同内部事件集合,4种方法(符号27至30)可描述其简易规范。序号 符 号 描 述26 3; *:=* iL。、;A=1 1 当任何与动作有关的事件发生时,语句“A:=1”一一 描述了将值1分配给布尔变量A。广一一一! 示例2:给布尔变量b赋值为假。: b=o 当任何与动作有关的事件发生时语句“b:一0”l c:=c+1 1 当任何与动作有关的事件发生时,语句“c:一一一 c
36、+1”描述了将值c+1分配给数字变量c27 霉一b 示例:当任何导致步37激活的事件发生时,三)目将。分配给布尔变量828 口E搿黧霉案篡膊徽生l17GBT 21654-2008IEC 60848:2002表6(续)序号 符 号 描 述29 口余-l-二 田 曰 示扎当任何导致转换4实现”鄙蚤茁蒌曰 示龇当任何导致转换41实现(41圈”篓主篆:三、篡I 54给予同样的激活动作会自自自由 得到同样的行为30 卜仨t。 注:表达式“十a”表示的输人事件集之曰由黧票篇蕃嬲篡刚当蓁辫翟黼黑t bx28 示例3:当任何用“t b”表示的事件发生曰由芸豢茹8附吼籼镧给8GBT 21654-2008IEC
37、60848:2002表7 grafcet表图中元素的注释序号 符 号 描 述31 “”日粼步一 制1=刿5雌掣等钫”口日口獾瓣y 2:舫28排雌释巴旦百 制3:撒触犁恫岁口6顺序结构的图形表示严格遵守步转换交替的语法规则,设计人员可以用不同特点的结构构建grafcet表图。61基本结构611序列612单序列循环序列是这样的连续步:除最后一步外,每步只有个后续转换被序列中的单一步使能;除第一步外,每步只有一个前级转换被序列中的单一步使能。注1:如果至少有一步是活动的,则序列被称为“活动的”如果投有任何一步是括动的,则序列被称为“非活动的”。注2:序列可包括任何数字编号的步循环序列的情况如下:每步
38、只有一个后续转换;每步只有一个前级转换被序列中的单一步使能;注1:单序列循环可组成局部的grafcet(见712)。注2:为使步激活,单序列循环至少应满足下列条件之一:至少有一个初始步;一在较高级别上,服从局部grafcet的规定顺序(见72)属于封装步的一个封装(见73)。门工苫GBT 21654-2008IEC 60848:2002613选择序列r在以一步或几步开始的几个序列之间,选择序列显示进展的选择。这种结构用尽可能多的可同时进行使能转换的进展来表示。一 注:选择序列的结构不保证激活的唯一性。设计人员必须保证转换条件在时一j一 间、逻辑或机械方面互斥。:i-1-7614跳步20jL一圈
39、示例1:序列问的互斥通过两个接收性间的逻辑互斥实现。当步5活动时如“a”和“b”同时为真,没有转换能够实现。示例2:优先序列在本例中,当a为真时给转换56以优先权,使之可以实现。示例3:选择序列紧接两个同步的前级序列仅当两个转换被步8和步9(符号9)的同时活动实现肘,可通过g和h选择后续序列。选择序列的特殊情况:即允许跳过完整序列或跳过序列中的一步或几步。例如:当与步有关的动作不必要时可跳步。虚一一616序列后跳口616并行序列的激活617同步序列GBT 21654-2008IEC 60848:2002选择序列的特殊情况:使序列重复直到满足所设定的条件。注:因图形表示的原因,可将转换置于水平的
40、有向连线上(见符号7的注3)在该结构中对于由一步或多步组成的若干序列,用同步符号9表示这些序列的同时活动。一T一 注:各并行序列被同时激活后,活动步的进展将是独立的-,l-C一,618并行序列的同步和激活广1 厂1广j在该结构中用同步符号9表示前级序列结束前且后续序列被激活前的延迟。注:仅当所有前序步活动时转换使能。在该结构中同步符号9使用了两次以表示前级序列结束前且后续序列同时被激活前的延迟。2lGBT 21654-20081EC 60848:200262特殊结构621源步开始序列622阱步结束序列22口示例:在grafcet中可区分下列基本结构:序列(其中的一些序列用圆括号标出);选择序列
41、(从步1到步3、步5和步19);激活并行序列(步6以下部分);两个同步序列(从步9和步11到步13,以及从步13和步】7到步18);注1:本例只显示了grafcet的结构,没有给出grafcet的翻译。注2:由于循环不是grafcet必须的,本例不是grafcet的典型例子。没有任何前级转换的步是源步。注1:要激活源步,至少应满足下列条件之一:源步是初始步; 在较高级别的部分grafcet的规定j顷序中,必须要有源步(见72)源步是封装的活动步之一(见73)。示例1:初始源步初始时刻只有初始源步1是活动的,步2、步3和步4构成一个单序列循环。注2:本例只表示gracet的结构,没有给出graf
42、cet的翻译。没有任何后续转换的步是阱步。注1:仅当使用下列两种方法之一时,阱步可能去活:在较高级别的部分grafcet的规定顺序中(见72);如果阱步被封装,封装步去活(见73)。注2:同一时刻,一个步可能是源步和阱步,因而构成一个单步序列,可用于组合动作。口囊l由一一1623源转换开始序列GBT 21654-20081EC 60848:2002示例:阱步步45激活5秒后(见符号18),当逻辑条件“b1bo”被确认,只有阱步46被激活。输出“告警:Jack B”被分配真值。没有任何前级步的转换是源转换。习惯上,源转换总是使能的,且一旦转换条件为真转换就实现。注1:只要转换条件保持为真,源转换
43、后续步的活动就有效,即使是该步使能的转换,步的活动也与其转换条件的状态无关(见进展规则第5条,455)。为避免源转换后续步的连续活动,仅当输人事件或内部事件发生时,相关转换条件变为真比较好。因此,构成转换条件的逻辑表达式应始终包括输入沿。示例:源转换和等效结构:上图中(1)和(2)描述了等效行为:每当布尔变量从。到l发生变化时步1被激活。(1)用源步而(2)用同步符号和循环维持初始步0活动注2:步0中的点表示该步一直活动。1一;l一阻碍足甍GBT 21654-2008IEC 60848:2002624阱转换结束序列j7结构化1网三一j l竺二苎坌Tav打n面面反!一竺二竺L Tav押几诼孤:广
44、1竺二塑上t“刁网:广竺二坠L Ta”没有后续步的转换是阱转换。注1:当阱转换使能且其相关转换条件为真时,转换实现的唯一结果是前面的步去活。示例:转移寄存器的结构;转移寄存器结构是与源转换和阱转换有关的应用。在本例中,每一个活动步表示暂存站。a在站之间的转移(十av)使源转换实现而激活了步1。在每一转移(十av)之前,包括步4之后的阱转换在内,使能的转换同时被实现。注2:当所有步都同时活动时,本例表示的是常见的情况。自动系统的复杂性需要能让规范结构化的手段。由适当的方法辅助的结构化可以限制规范的划分,也可以对强迫的或封装起来的各级别的概念进行整合。71 grafcet的划分711连接grafc
45、et连接grafcet是一种结构,这种结构使得grafcet图中的两个元素步或转换之问始终有连续性的连线(步和或转换交替)。示例:由于步和转换通过有向连线连接,框图(1)中的所有元素构成连接grafcet。框图(2)中的元素也构成一个连接grafceI。712部分grafcet根据grafcet的构成规则,由一个或几个连接grafcet组成,从完全grafcet中分割产生的部分gracet描述系统顺序部分的动作。24表8部分grafcetGBT 21654-2008IEC 60848:2002示例:完全grafcet的分割完全grafcet由部分grafcet GI和G2组成。部分grafce
46、t G1由二个连接grafcet组成。序号 符 号 描 述32 G 部分印mfcet的名字:按照惯例,字母G表示部分grafcet。星号应用部分grafcet的名字代替333 XG 部分Krlffeet变量:当图中至少有一步是活动的,就说部分grafcet是活动的,因而当图中没有一步是活动的,就说部分grafcet图是非活动的。部分grafcet的活动或非活动状态可以分别用变量XG的逻辑值1或“o”表示,其中的星号用已确定的部分grafcet的名称代替星号应用部分graeet的名称代替示倒:XGl表示部分grafter 1的变量sC G#(一) 部分F出t的状态:在特定时刻,部分gracet的状态由其活动步的集合表示。用G#)括号中列出的活动步给出部分grafcet的状态,描述在特定时刻部分grafcet的状态特征。
copyright@ 2008-2019 麦多课文库(www.mydoc123.com)网站版权所有
备案/许可证编号:苏ICP备17064731号-1