Rule randomisation and its application to logic-based workflow verification.
Qianhui LiangStuart Harvey RubinPublished in: Int. J. Inf. Decis. Sci. (2009)
Keyphrases
- petri net model
- petri net
- knowledge representation
- model checking
- workflow management systems
- rule sets
- association rules
- production rules
- workflow systems
- knowledge acquisition
- relational databases
- process model
- databases
- data flow
- expert systems
- formal analysis
- rule learning
- rule mining
- concurrent systems
- information retrieval