petri网中变迁发生条件

问题描述：

定义:
设∑=（S,T;F, W, M0），M是∑的基网PN=(S,T,F)上的一个标识。若M[t>，t∈ TN，则发生的结果为后继标识M’，M’定义为：∀s∈S：
M(s) – W(s,t) 若s∈*t-t*
M’(s) = M(s) + W(t,s) 或M(s) 若s∈t*-*t (规则Ⅱ)
M(s) – W(s,t) + W(t,s) 或M(s) 若s∈t*∩*t
M(s) 若s∉*t∪ t*
且最少有一个s∈t*，使M’(s) =M(s) + W(t,s) 或M’(s) =M(s) – W(s,t) + W(t,s)。
在这个定义中,条件:s∈t*-*t 的含义是什么? 是不是s 库所属于变迁t的后集减去变迁t的前级,但集合中没有减法运算呀!请明示!谢谢!

问题解答：

petri网中变迁发生条件这个旅游问答期待您的解答，请登录账号或关注微信公众号回答这个问题。