(a,b,c,d)::s 与s^^[(a,b,c＋5,d)]这是一对，不知道是什么意思，还有intinf.toint(time())
其中
变量s属于集合list M
M属于乘积颜色集 A*B*C*D ，其中a.b.c.d分别为属于A.B.C.D集合的变量。由于没有coloured petri nets 书籍，文章中很多语句读不懂，望各位达人帮忙。

自己顶了先