Petri网 从变迁指向库所的约束弧是什么意思?

学习Petri网时间不长,今天看到一片论文中有从变迁指向库所的约束弧,之前没见过,Pipe也画不出来,请问有没有大神知道如何使用pipe能画出来,或者帮忙解释一下这种约束弧的含义,望不吝指教!图片说明

http://www.docin.com/p-1113432912.html