Structural soundness of workflow nets is decidable.
Ferucio Laurentiu TipleaDan C. MarinescuPublished in: Inf. Process. Lett. (2005)
Keyphrases
- structural information
- database
- data sets
- business process
- document management
- workflow management systems
- data flow
- computation tree logic
- scientific workflows
- workflow management
- structural model
- structural analysis
- temporal logic
- expressive power
- first order logic
- business processes
- web services
- neural network
- databases
- real time