Soundness of Timed-Arc Workflow Nets.
José Antonio MateoJirí SrbaMathias Grund SørensenPublished in: Petri Nets (2014)
Keyphrases
- petri net
- timed automata
- workflow management systems
- machine learning
- web services
- service composition
- workflow model
- workflow management
- finite state machines
- data flow
- business process
- business processes
- similarity measure
- process model
- neural network
- markov chain
- video sequences
- workflow systems
- scientific workflows
- network flow problem
- colored petri nets
- workflow models
- real world