Computer Science ›› 2008, Vol. 35 ›› Issue (2): 115-119.
Previous Articles Next Articles
ZHOU Cong-Hua ,LIU Zhi-Feng (School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013)
Online:
Published:
Abstract: The primary approach in verifying the workflow' s correctness is to compute its reachable state space. The state explosion problem is the central difficulty in such verification technique. For the correctness expressed with the linear time temporal logic
Key words: Workflow net, Petri net,Soundness,LTL
ZHOU Cong-Hua ,LIU Zhi-Feng (School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013). [J].Computer Science, 2008, 35(2): 115-119.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2008/V35/I2/115
Cited