Towards workflow verification.
Nazia LeylaAhmed Shah MashiyatHao WangWendy MacCaullPublished in: CASCON (2010)
Keyphrases
- petri net model
- petri net
- model checking
- data flow
- workflow management systems
- signature verification
- control flow
- workflow management
- data management
- workflow systems
- person identification
- verification method
- machine learning
- database
- functional verification
- scientific workflows
- test generation
- concurrent systems
- face verification
- business process
- knowledge management
- expert systems
- multi agent
- bayesian networks
- web services
- website
- artificial intelligence
- data mining
- neural network