工作流网首先是一个Petri网,PN=(S,T;F)
一个开始库所,没有入边
一个结束库所,没有出边
每个库所和变迁都在开始库所到结束库所的路径上
Soundness:合理的工作流网需要满足以下几个条件
1.开始库所中的每个token,最终都会在结束库所中产生一个token
2.当token出现在结束库所时,其他库所都为空
3.在可达图中,每个变迁都能被使能
工作流网首先是一个Petri网,PN=(S,T;F)
一个开始库所,没有入边
一个结束库所,没有出边
每个库所和变迁都在开始库所到结束库所的路径上
Soundness:合理的工作流网需要满足以下几个条件
1.开始库所中的每个token,最终都会在结束库所中产生一个token
2.当token出现在结束库所时,其他库所都为空
3.在可达图中,每个变迁都能被使能