Connectivity of workflow nets: the foundations of stepwise verification.
Artem PolyvyanyyMatthias WeidlichMathias WeskePublished in: Acta Informatica (2011)
Keyphrases
- petri net model
- petri net
- model checking
- artificial intelligence
- concurrent systems
- face verification
- workflow systems
- connected components
- web services
- workflow management systems
- search engine
- verification method
- high security
- document management
- formal verification
- scientific workflows
- data mining
- process model
- forward selection
- brain connectivity
- workflow management
- control flow
- formal methods
- databases
- data flow
- multi agent systems
- business processes