矿井机车运输监控系统调度联锁过程的Petri网建模

第32卷第11期

煤 炭 学 报V o.l 32 N o .11 2007年11月J OURNAL OF C H I N A COAL SOC I ETY N ov . 2007 文章编号:0253-9993(2007)11-1216-08

矿井机车运输监控系统调度联锁过程的Petri 网建模

陆 阳1,2,郭智奇1,韩江洪1,2,杨晴晴1

(1 合肥工业大学计算机与信息学院,安徽合肥 230009;2 安全关键工业测控技术教育部工程研究中心,安徽合肥 230009)摘 要:分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri 网对矿井机车调度联

锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输

入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭

锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出

了调度联锁过程的整体Petri 网模型.

关键词:机车运输监控;调度联锁;有色Petri 网;约束组合弧

中图分类号:TD676 文献标识码:A

收稿日期:2007-01-21 责任编辑:高雪梅

基金项目:教育部新世纪优秀人才支持计划资助项目(NCET-04-0562);教育部博士点专项基金资助项目(20050359004) 作者简介:陆 阳(1967-),男,安徽合肥人,教授,博士生导师.Te:l 0551-*******,E-m ai:l l uyang h @f 126 co m D ispatchi ng and i nterlocki ng modeli ng of loco m oti ve transportati on

control syste m i n m i ne based on Petri net

LU Y ang 1,2,GUO Zh i qi 1,HAN Jiang hong 1,2,YANG Q i n g qing

1(1 S c hool of Co m pu ter and Infor m ation,H e fei Un i v e rsit y o f T ec hnology ,H e fei 230009,Ch i na;2 Eng i neering R esearc h C e n te r of Safe t y C ritic a l Indus

try M e a s u re and Con trolT ec hnology of M i n ist ry of Education,H efe i 230009,China )Abst ract :Basic rules of dispatching and interlocking for loco m otive transportation con tro l syste m s w ere analyzed .The co lored Petri netw as adopted to build a mode l for the dispatch i n g and interlocking process .I n the process o f m ode ling ,places and transitions w ere co lored ,and so m e m istakes ,such as mov i n g i n to an error seg m ent or i n tr u di n g into a red ligh t s area i n its assignm en,t w ere descri b ed by co m b i n i n g inhibit co m binati o n arc w ith l o co m o ti v e s reachi n g and passi n g i n for m ation inputted fr o m outsi d e .D ifferent contr o lm odes w ere estab lished to su it dis ti n ct cases of locking and un l o ck i n g .I n the end ,the w ho le m odel o f d ispatch i n g and i n terl o ck i n g process based on Petri net w as offered .

K ey w ords :l o co moti v e transportati o n c ontro;l dispatc h i n g and i n terl o cking ;colored Petri ne;t i n hi b it co mb i n ation arc 矿井机车运输监控系统是典型的离散事件系统,主要的调度控制过程是进路、机车占用、信号和道岔的联锁处理,具备同步、并发、冲突、互斥等特征.采用一种规范的离散事件系统的形式化建模方法对其进行建模,有助于调度联锁软件的设计开发,并通过仿真过程在实际运行前剔除错误,提高软件的可靠

性.Petri 网由于其强大的描述能力和成熟的数学分析理论非常适合系统建模[1,2]以及对联锁软件的安全性

进行分析[3,4],本文采用有色Petri 网(CPN:C olored PetriN et)[5,6]

,以K J15A 矿井机车运输监控系统为研究对象,建立了一套矿井机车运输监控系统调度联锁过程的建模方法.1 调度联锁基本规则

根据最新颁布实施的国家标准《煤矿井下机车运输信号设计规范》[7]

和实际情况需求,机车运输监控

1217第11期陆 阳等:矿井机车运输监控系统调度联锁过程的P etr i网建模

调度联锁的主要规则有以下几点:①预占用申请.当机车在某条进路中运行到最后一个区段时,系统就要为该机车向联锁主机发出申请,系统主机在联锁条件满足的情况下为机车开通其任务路线中的下一进路.系统在最后一个区段发出申请是为了提高轨道的利用率,避免过早闭锁进路影响其它机车的运行.②主机联锁运算.当联锁主机收到机车预占用申请时,根据机车调度的联锁条件进行判断,确定该预占用申请是否能够响应.若联锁条件满足,则为系统提供允许预占用的标识;并且系统执行对机车预占用进路的闭锁(即对预占用进路所有区段的闭锁),如果预占用进路存在同一架信号机防护的敌对进路,则该敌对进路也要闭锁.③预占用满足开放下一进路.当系统收到允许开通预占用的标识后,系统要为机车开通下一进路.④意外情况的处理.当机车预占用了下一进路,且已经闭锁道岔和区段时,由于一些误操作(例如人为扳动道岔、误闯红灯、发现其它机车等)导致预占用条件失效,应立即关闭允许本进路机车进入下一进路的信号,让该机车处于等待状态,直到故障被确定解除才能重新开放信号让其通行.当机车未按照任务路线运行时,需要对机车非法进入的区段进行闭锁,防止其它机车占用该区段.

2 库所与变迁的划分

2 1 基本颜色集

C1={1,2,,K},区段的物理编号;C2={1,2,,L},进路内区段的相对编号;C3={1, 2,,M},进路编号;C4={1,2,,N},机车车次编号;C5={X,Y,Z},机车的任务类型编号;C6={A n|A!C5,n!C4},机车任务及车次的复合编号;C7={1,2,,L-1},进路内前L-1个区段的相对编号.

2 2 复合色集

I C={(A n,m,l,k)|A n!C6,m!C3,l!C2,k!C1},是机车复合色;I S={(A n,m,l1,k a)|A n!C6, m!C3,l1!C2,k a!C1},其中l1=1,k a是对应于该进路内l1=1相对区段的物理区段编号;I M={(A n, k)|A n!C6,k!C1};I R={(A n,k a,k d)|A n!C6,k c,k d!C1};I Z={(A n,B h,m,l,k)|A n, B h!C6,m!C3,l!C2,k!C1};I T={(A n,m,l,k b)|A n!C6,m!C3,l L-1!C2,k b!C1},其中l L-1=L-1,k b是对应于该进路内l L-1=L-1相对区段的物理区段编号.I S,I T颜色中的各元素的含义与I C相同,然而由于机车调度许多变迁发生在进路的最后一个区段和下一个进路的第1个区段,所以把机车在进路中第1个区段的复合色I S和最后一个区段中的复合色I T单独列出.

I E={(A n,m,l,k)|A n!C6,m!C3,l!C7,k!C1}.I E颜色集中的各元素的含义与I C相同,但是由于进路内的变迁只涉及到第1个区段至L-1区段(L表示最后一个区段),所以把它们单独列出.I U= {(A n,m)|A n!C6,m!C3}.在模型中有许多变迁和库所不用涉及具体的区段号.

2 3 运算符

nex t_section:I E→I C,根据变迁颜色(A n,m,l,k)中的A n,m,l得出机车在进路内下一区段的复合色.

nex t_add:I E→I M,根据变迁颜色(A n,m,l,k)中的A n,m,l,得出机车正常运行时抵达下一区段的位置标识.所谓位置标识是C6中的复合编号与机车所在区段物理编号的组合,在形式上同颜色集I M相同.

get_num:I E→C1,根据变迁颜色(A n,m,l,k)得出第m进路的第1区段的物理编号k.

th is_add:I E→I R,根据变迁颜色(A n,m,l,k)中的A n,m,l,取得机车正常运行时从本区段抵达下一区段的车过报告.

back:I U→C3,得出变迁颜色(A n,m)中的进路编号m.

th is:I U→I S,根据变迁颜色(A n,m)得到某机车在进路最后一个区段的机车复合色.

nex t_route:I U→C1,根据变迁颜色(A n,m)得出该机车在任务内的下一进路,从而得出下一进路的所有区段的物理编号.

煤 炭 学 报2007年第32卷

nex t_path:I U→I U,根据变迁颜色(A n,m)把m改为m的下一进路的编号.

nex t_al:l I U→C3,根据变迁颜色(A n,m),得出该机车在任务路线中下一区段的所有③类敌对进路的编号(敌对进路的类型见3 1).

near_add:I E→I M,根据变迁颜色(A n,m,l,k)中的A n,m,l,得出非正常运行抵达的下一区段的位置标识.

last_firs:t I U→I R,根据变迁颜色(A n,m)取得本进路最后一个区段到下一进路第1个区段的车过报告.

near_route:I

E →C

1

,根据变迁颜色(A

n

,m,l,k)得出非正常运行抵达的下一区段物理编号.

nex t_firs:t I U→C1,根据变迁颜色(A n,m)得到任务内下一进路第1个区段的物理编号.

w r ong_add:I E→I R,根据变迁颜色(A n,m,l,k)取得正常运行时本区段抵达下一区段的车过报告.

follo w:I E→C1,根据变迁颜色(A n,m,l,k)中的A n,m,l,得出进路m内从1(包括1)区段开始的所有后继区段的物理编号.

ns_add:I U→I M,根据变迁颜色(A n,m)得出机车抵达下一进路第1个区段的位置标识.

nex:t I U→I T,根据变迁颜色(A n,m)得出机车在下一进路第1个区段的机车复合色.

th is_las:t I U→C1,根据变迁颜色(A n,m)得出机车运行进路最后一个区段的物理编号.

get_co m e:I R→I M,根据变迁颜色(A n,k c,k d)得出机车的出发位置标识,即取出(A n,k c,k d)中的前两个元素.

get_reach:I R→I M,根据变迁颜色(A n,k c,k d)得出机车抵达的位置标识,即取出(A n,k c,k d)中的第1和第3个元素.

go_to:I R→C1,根据变迁颜色(A n,k c,k d)得出车到报告中抵达区段的物理编号.

co m e_fr o m:I R→C1,根据变迁颜色(A n,k c,k d)得出车过报告中刚刚离开区段的物理编号.

get_pa t h:I Z→I U,根据变迁颜色(A n,B h,m,l,k)得到机车的机车任务及车次的复合编号和进路号,即取出(A n,B h,m,l,k)中的第1个和第3个元素.

get_section:I Z→I M,根据变迁颜色(A n,B h,m,l,k)得到非法占用的机车的位置标识.即取出(A n,B h,m,l,k)中的第2个和第4个元素.

Id:恒同运算符.消耗与变迁颜色相同的托肯.

模型中运算符得到的值,依赖于矿井的大巷图以及进路、区段、任务路线的设定,在运用模型进行仿真前必须输入运输大巷图和任务表.

2 4 库所与变迁

对调度联锁过程的建模采用有色Petri网,在描述中所定义的库所及变迁说明见表1和表2.在区段库所D内的机车的着色需要标明机车的任务类型,由于同一任务可能有多辆机车同时执行,所以着色中要标明机车的车次,同时还应标明机车运行所在的进路和在该进路中的相对区段号;由于可能多个进路共用某一段区段或某几段区段,所以在标明进路内的相对区段号的同时还要标明不受进路影响的区段物理编号.区段的相对编号是按照机车在进路内的运行顺序编号的,物理编号是按照大巷轨道分布图顺序编号的,同时通过进路号和相对区段号能够映射区段的物理编号.

3 调度联锁过程的Petri网模型

3 1 正常运行情况下的模型

根据联锁规则的要求,每个进路只能有1辆机车.机车在进路中运行时,由于机车的运行是需要一定时间的,所以机车在一段时间内是占用2个区段的,进入下一区段和离开本区段是逻辑顺序的2个过程,机车的车到及车过报告由检测系统提供并向调度系统中输入托肯.这种存在外部输入的情况在Petri网建1218

第11期陆 阳等:矿井机车运输监控系统调度联锁过程的P etr i网建模

表1 库所说明

Table1 N otes of station

库所元素符号库所名称库所描述

D区段库所表示机车运行在某一区段;机车类型及区段号由托肯色标识;托肯色集是I C

Le_pass车过报告表示系统检测到机车运行离开区段后,由外部检测系统提供给调度系统的机车位置报告;托肯色集是I

R

Le_reach车到报告表示系统检测到机车运行抵达区段后,由外部检测系统提供给调度系统的机车位置报告;托肯色集是I

M

W rong非法占用表示调度系统中,当机车未按照任务要求运行后,它不再受系统自动调度,该库所中的托肯表示机车非法占用了某个区段;托肯色集是I

M

S预占用申请控制表示区段的申请资源;每个区段的申请资源只能使用1次,当被机车使用未归还之前,不能进行再次申请;托肯色集是C

3

M ai nfra m e联锁主机接收系统提出的联锁运算申请;托肯色集是I U

S ecti on_l ock区段闭锁闭锁的区段号,由托肯色标识;托肯色集是C1

Pat h_l ock进路闭锁闭锁的进路号,由托肯色标识;托肯色集是C3

For k_ri ght道岔正确进路中的道岔按照机车运行的要求放置到了合适的位置;托肯色集是I U

App lication_allo w申请允许预占用申请得到联锁运算的允许,主机发出可以预占用进路的标识,开通的动作尚未执行;托肯色集是I

U

L i gh t_green信号开放系统开放预占用进路,把该进路的防护信号机开放绿灯;托肯色集是I U

W a i t机车等待机车进路中处于等待状态;托肯色集是I U

For k_w rong道岔错误进路中道岔未按机车运行的要求放置到合适的位置,由外部检测系统提供;托肯色集是I U

H uman人为确定机车在某一进路中运行,遇到意外情况后处在等待状态;在确定意外被排除后,给以确定信息,使得机车继续运行;托肯色集是I

U

,由人工输入该库所中的托肯

表2 变迁说明

Tab le2 Notes of transition s

变迁元素符号变迁名称变迁描述

Inner_en t er进路内抵达表示机车在进路内由1个区段运行抵达另1个区段,机车在进路内的运行是在进路的第1个区段与最后1个区段之间;出现色集是I

E

Inner_l eave进路内通过表示机车在进路内的运行离开1个区段;出现色集是I E

Pre_app l y预占用申请表示向联锁主机发出预占用申请;出现色集是I U

Interl ock_operation联锁运算表示主机进行联锁运算,判断是否可以开放预占用进路;出现色集是I U S i gnal_con trol信号灯控制表示根据主机给出的申请允许,通过信号机开放进路;出现色集是I U

En t er_next进路下一进路表示机车在进路的末端,随着机车的运行进入下一进路;出现色集是I U Leave_t h is离开本进路表示机车在进路的末端,随着机车的运行完全离开本进路;出现色集是I U

W ay_w rong机车运行路线错误表示机车在任务路线中的进路内运行时,未按照任务规定路线,选择了另一条错误的路线;出现色集是I

E

Intrude_next任务内闯红灯表示机车未按照调度防护信号机的指示,闯入了下一进路;出现色集是I U

W rong_pass运行路线错误后区段解锁表示系统收到机车闯入了错误进路的车过报告后,确定了机车已走错路线,对正常任务线路中已闭锁的区段进行解锁;出现色集是I

E

W rong_go非法占用机车抵达表示非法占用了未开通进路的机车在系统中的位置抵达,出现色集是I R W rong_leave非法占用机车通过表示非法占用了未开通进路的机车在系统中通过的位置,出现色集是I R

C l ose意外关闭信号灯表示主机为机车开通了预占用的进路后,由于误操作使得预占用的条件不再满足,此时关闭已开通的预占用进路;出现色集是I

Z

Rene w恢复变迁表示预占用的进路被意外关闭后,在确定条件再次满足后,恢复机车对该进路的预占用;出现色集是I

U

1219

煤 炭 学 报2007年第32卷

图1 机车运行于进路内部

F ig 1 Locomo ti ve run i n rou te 模中并不少见[8].机车在进路内运行的模型如图1所示.

Inner_enter 表示机车在进路内运行

到了下一区段,颜色集合是I E .next_

secti o n 表示输出正常运行时机车在下

一区段的着色,next_add 表示消耗机车正常运行抵达下一区段的车到报告.

I nner_leave 表示机车在进路内运行离开了现在的区段;get_num 是消耗刚通过区段的物理编号;th is_add

表示消耗正常运行时机车从本区段抵达下一区段的车过报告.对于进路间的调度功能,在运行到下一进路之前对下一进路进行预占用申请,而后通过主机的联锁运算判断是否可以响应申请,最后根据响应来做出相应的动作

.

图2 预占用申请F i g 2 A pp lica ti on o f eng rossi ng befo rehand

预占用申请是为了实现调度的安全,并考虑到提高轨道的使

用效率,所以必须到了进路的最后一个区段才能向联锁主机发出

预占用申请,从而避免占用下一进路时间过长造成轨道资源的浪

费.S 为申请控制库所,它的作用是保证每辆机车在进路中只能

申请一次预占用,避免重复申请;M a i n fra m e 是主机库所,其作用

是标识主机收到了申请.预占用申请的模型如图2所示.图2中

变迁Pre_apply 的颜色集合是I U ,this 判断机车是否在进路最后一

个区段运行,back 是消耗预占用申请库所中的进路编号.联锁运算在符合机车运行安全的基础上兼顾区段的利用效率,所以调度中闭锁以进路为基本单位,而解锁以区段为基本单位.由于闭锁的敌对进路类型不同,它们解锁的方式也有所不同,所以必须对进路进行一定的区分,从而对不同的敌对进路按照各自的需求进行解锁.通常敌对进路分为4种:①使用同一区段的进路;②使用同一道岔的进路;③使用同一架信号机防护的不同进路;④单行道中相向的进路.

方法1:对于①和②,当区段(道岔)解锁之后希望它就能被其它的车辆利用,从而使得区段的使用效率能够达到最大.所以把对这些进路的闭锁转化为对进路所有区段的闭锁,当共享的区段解锁之后,部分敌对进路则能利用这些区段,从而得到开通.

方法2:对于③,当机车进入某一个进路之后,其它的机车就能再次利用信号机,以使得效率提高.方法3:对于④,根据规则设定进路后,相向的进路必定会共享到某些区段,所以该问题可以归结到方法1的解决办法当中去

.

图3 联锁运算F ig 3 Inte rl o ck i ng operati on

根据上述4种情况,给出联锁运算的模型如图3所示.

变迁I n terl o cked_operation 的颜色集是I U ,nex t_rou te 得到的

值是下一进路所有区段的物理编号,nex t_a ll 是输出下一进

路的所有③类敌对进路;nex t_path 输出下一进路的进路组

合色,所谓进路组合色是颜色集C 6中的复合编号与进路号

的组合,在形式上和颜色集I U 相同.

当机车申请的下一进路未被闭锁,且所有区段未被其

它机车闭锁时,系统才能允许机车预占用申请.

系统对机车的控制主要是通过信号灯对司机的提示来实现的,只有当信号灯开放时,才允许机车进入该信号灯的防护进路,否则就有可能发生事故,所以信号灯的控制变迁是十分重要的.在联锁运算后,系统将会根据运算结果控制信号灯,如图4所示.

从系统的角度看,机车在进路间运行的动作是先进入下一进路而后再离开本身运行的进路,这是两个连续的顺序动作.在这两个动作之间机车必然是占用两个进路,必须把进入下一进路和离开本进路区分看1220

第11期陆 阳等:矿井机车运输监控系统调度联锁过程的P etr i 网建模待,不能视为同一个变迁,它们的模型如图5所示

.

图4 信号灯控制

F i g 4 Control o f si gna l la m

p 图5 进路结合段F i g 5 A t the connecti on of routes

Enter_next 的颜色集是I U ,在机车下一进路正常开通的情况下,系统收到下一进路第1区段的车到报告后,对机车的复合色进行改变.this 判断机车是否在最后一个区段运行,nex t 输出下一进路第1个区段的机车复合色,ns_add 消耗下一进路第1区段的车到报告.

Leave_this 的颜色集是I U ,this_last 消耗本进路最后一个区段的物理编号,即对离开进路的最后一个区段进行解锁;last_first 消耗从进路最后一个区段进入下一进路第1个区段的车过报告.

3 2 对非正常运行进行处理的模型

矿井机车运输监控系统的安全性是最优先考虑的因素,在进路已经开通的情况下,司机、系统管理人员的误操作都可能会造成机车运行的事故,系统必须对异常情况进行处理.

处理异常时分为2个步骤:①对出错机车的处理,机车一旦闯入不属于自己预占用的进路或者由于司机的疏忽未按照信号灯的指示闯入了未开通的下一进路,则机车不再受系统自动调度,只根据系统的检测报告给出机车的运行位置,作为其它受控机车的联锁条件.收到错误的车到报告后根据故障安全原则,不论是真实的还是误报,先要把该区段闭锁,而后再根据车过报告确定机车实际位置.②机车的错误运行会对其它机车调度产生影响,所以对已经开通了预占用进路的机车要进行处理,

判断联锁条件是否仍然图6 机车运行路线错误轨道示意及处理模型F i g 6 R oute and d i sposa lm ode l for runn i ng to a w rong w ay

满足;如果预占用进路中出

现了被非法占用的情况,应

立即关闭预占用进路,等待

危险解除后,在操作人员的

确定下为机车再次开通进

路.

对机车运行出错的情况

配以轨道图进行说明,机车

运行路线错误的示意如图

6

图7 任务内闯红灯轨道示意及处理模型F i g 7 R oute and d i sposa lm odo l fo r runni ng t he red li ght i n m iss i on (a)所示,任务内闯红灯的

轨道示意如图7(a)所示.

图6(a)中,机车在进

路内运行时,按照任务路线

应该在进路内驶向2号路段,

然而由于人为因素在道岔处

驶向了3号路段,从而进入

了错误的区段,这种情况就

是机车运行路线错误.

图7(a)中,机车在进1221

煤 炭 学 报2007年第32卷路间运行时,按照调度要求3号路段的机车在信号灯未开放时(即信号灯为红色),机车不允许进入任务内下一进路的2号路段,然而由于司机的失误,机车闯入2号路段,此时就是任务内闯红灯.错误机车的处理模型如图6(b)和图7(b)所示.

W ay_w rong 的颜色集是I E ,near_add 得到的值是非法运行抵达的下一区段位置标识,near _route 输出抵达的区段物理编号.Intrude_nex t 的颜色集是I U ,nex t_first 输出下一进路第1区段的物理编号.

在收到机车运行至错误区段的车到报告后,该区段就被闭锁;在收到机车的车过报告后,才能确定机车是否确实闯入了错误路线的区段.如果确实是闯入了非任务路线规定的区段,则对剩余的任务闭锁区段进行解锁,以便其它机车对轨道资源的使用.

运行路线错误后区段解锁的模型如图8所示.

W rong_pass 的颜色集是I E ,fo ll o w 消耗进路内后继所有区段的物理编号,w rong _add 消耗非正常运行至下一区段的车过报告.

机车运行错误后,虽然不再受系统调度,但是有可能会继续运行,必须不断根据系统的检测报告,更新其在轨道中的位置,并为其它机车的联锁运算提供条件.更新错误运行机车位置的模型如图9所示

.

图8 运行路线错误后区段解锁

F i g 8 U nlock i ng section a fter runn i ng w rong w

ay 图9 更新错误机车的位置F i g 9 U pdati ng pos ition o f l oco m o tives runned i n wrong w ay s

W rong_go 的颜色集是I R ,get_co m e 判断机车的运行位置,get_reac h 得到机车抵达的位置标识,go _to 输出抵达区段的物理编号.W rong_leave 的颜色集是I R ,co m e_fro m 消耗机车刚离开的区段物理编号.

为了使系统在处理错误行驶的机车后还能保证正常调度,还要根据错误机车的运行实时情况对正常运行的机车进行联锁控制,必须实现以下2个步骤:①当错误运行的机车闯入了其它机车预占用的进路

,图10 异常情况处理及恢复F ig 10 D isposal and resu m i ng o f abnor m al c ircu m stance

要及时关闭进路,阻止正常运行的机车进

入.②当人为确定了进路可以再次开放

时,要为申请的机车开放被意外关闭的机

车.

异常情况处理及恢复模型如图10所

示.

C lose 的颜色集是I Z .变迁C lose 是在

出现异常情况时,系统自动为已申请了进路的机车关闭开放的进路,阻止机车进入该进路以保证安全,在此使用了约束组合弧.get_pat h 消耗申请了进路机车的进路组合色,get_section 判断非法占用的机车位置标识.

3 3 系统的整体模型

系统完整的调度联锁过程模型如图11所示.在许多大型系统中,使用基本Petri 网进行建模是很困难的,在状态空间过大的情况下甚至是不可能的.

CPN 在一定程度上增强了Petri 网的描述能力,可更好地对系统进行建模.在本模型中机车的车到报告、车过报告、道岔错误库所中的托肯由外部检测系统提供,人为确定库所中的托肯由人工输入.当机车运行出现意外情况时,经过适当的处理后可以使系统处于安全状态.1222

第11期陆 阳等:矿井机车运输监控系统调度联锁过程的P etr i

网建模图11 调度规则Petri 网模型

F i g 11 M ode l of Pe tri net f o r ru l es o f dispatchi ng

4 结 语

矿井机车运输监控系统的调度联锁过程是一个较为复杂的离散事件系统,本文采用CPN 描述了矿井机车运输监控系统调度联锁规则中的顺序关系、逻辑关系、并发和资源共享,建立了机车调度的有色Pe tri 网模型;在Petri 网模型中使用了约束组合弧,减少了库所的数量.更有意义的工作是,根据具体矿井的信号布置、任务路线,设备工作规律,在增加随机事件因素的基础上,对机车运输监控的调度联锁软件进行安全性的仿真测试.

参考文献:

[1] 吴东勇,张 勇.基于通信的列车控制系统的有色Pe tri 网模型的研究[J].系统仿真学报,

2005,17(10):2388~2391.

[2] 杨 扬,潘 明,何梅芳.联锁软件的P etr i 网形式化定义[J].中国铁道科学,

2002,23(3):49~54.[3] K rzystof Sacha .Safety verificati on o f so ft w are usi ng struc t ured P etr i nets [A ].LNCS 1516,Computer Safety [C ].R e liab ili ty and Security ,Spri nger ,1998.329~342.

[4] L eveson N G,Sto lzy J L.Sa fety analysis us i ng P etri nets [J].I EEE T ransaction on So ft ware Eng i neer i ng ,1987(3):

386~397.

[5] 袁崇义.Pe tr i 网原理与应用[M ].北京:电子工业出版社,

2005.[6] 吴哲辉.Pe tr i 网导论[M ].北京:机械工业出版社,2006.

[7] GB50388-2006,煤矿井下机车运输信号设计规范[S].

[8] Bas ile F,Co rbane C ,Ch i acch i o P .M ode li ng of AS /RS v i a co lored P etr i ne ts [A ].Proceed i ng s of 2001IEEE /A S M E Interna

tiona l Con ference on A dvanced Inte lli gentM echa tron i cs [C].Co m o ,Ita l y :IEEE Inc ,2001.1029~1034.1223