Keyphrases
- business process management
- web services
- service oriented architecture
- business processes
- business process
- service oriented
- colored petri nets
- process model
- service composition
- petri net
- formal methods
- genetic algorithm
- business process execution language
- database
- stochastic processes
- image alignment
- computational models
- case study
- neural network