PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets.
Guanjun LiuPublished in: Petri Nets (2020)
Keyphrases
- decision procedures
- expert systems
- petri net
- data mining
- machine learning
- workflow management systems
- temporal logic
- mazurkiewicz traces
- neural network
- document management
- pspace complete
- control flow
- data flow
- business process
- business processes
- relational databases
- multi agent systems
- web services
- metadata
- artificial intelligence
- information retrieval