A new approach to verify rule-based systems using petri net.
Xudong HeWilliam C. ChuHongji YangPublished in: Inf. Softw. Technol. (2003)
Keyphrases
- rule based systems
- petri net
- rule base
- knowledge representation
- petri net model
- manufacturing systems
- discrete event systems
- security systems
- knowledge based systems
- fuzzy petri net
- rule based expert systems
- expert systems
- procedural semantics
- colored petri nets
- formal models
- web service composition
- ims ld
- service composition
- stochastic petri net
- concurrent systems
- backward chaining
- artificial intelligence
- fuzzy rules
- process model
- business processes