Model checking workflow net based on Pet
โ
Zhou Conghua; Chen Zhenyu
๐
Article
๐
2006
๐
Wuhan University
๐
English
โ 430 KB