Keyphrases
- model checking
- graph matching
- workflow management systems
- series parallel
- formal verification
- data sets
- business processes
- bipartite graph
- graph model
- graph partitioning
- petri net model
- database
- scientific workflows
- graph construction
- formal methods
- graph representation
- graph theory
- directed graph
- petri net
- database systems
- web services
- data mining