C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification of workflow nets with transition conditions.
Zhaoxia Wang
Jianmin Wang
Xiaochen Zhu
Lijie Wen
Published in:
J. Zhejiang Univ. Sci. C (2012)
Keyphrases
</>
model checking
neural network
sufficient conditions
business processes
databases
machine learning
web services
environmental conditions
database
data mining
relational databases
person identification
concurrent systems