Reduction of Workflow Nets for Generalised Soundness Verification.
Hadrien BrideOlga KouchnarenkoFabien PeureuxPublished in: VMCAI (2017)
Keyphrases
- petri net model
- petri net
- workflow systems
- signature verification
- workflow management systems
- reduction method
- face verification
- process model
- learning algorithm
- high security
- model checking
- computer vision
- service oriented
- service composition
- business process
- decision trees
- workflow management
- web services
- decision making
- scientific workflows
- document management
- real time