Compositional Verification for Workflow Nets.
Li JiaoTo-Yat CheungPublished in: J. Circuits Syst. Comput. (2006)
Keyphrases
- petri net
- petri net model
- model checking
- face verification
- web services
- formal methods
- scientific workflows
- formal verification
- workflow management systems
- neural network
- workflow systems
- verification method
- machine learning
- process model
- temporal logic
- business processes
- formal analysis
- workflow management
- signature verification
- knowledge management
- website
- high security
- workflow technology
- concurrent systems