On Similarities Between Workflow Verification and Grammar Checking.
Roman BartákVladislav KubonPublished in: FLAIRS Conference (2016)
Keyphrases
- verification method
- petri net
- model checking
- petri net model
- similarity measure
- context free grammars
- workflow management systems
- document management
- natural language
- temporal logic
- linguistic knowledge
- data flow
- business process
- formal methods
- consistency checking
- business processes
- process model
- machine learning
- signature verification
- scientific workflows
- grammar rules
- genetic algorithm