Petri Net and Matrix Representation of Rule Knowledge Base for Verification Task.
Roman SiminskiPublished in: Intelligent Information Systems (2005)
Keyphrases
- petri net
- matrix representation
- petri net model
- knowledge base
- colored petri nets
- concurrent systems
- pairwise
- service composition
- production rules
- expert systems
- production process
- knowledge acquisition
- web services
- fuzzy petri net
- logic programming
- knowledge based systems
- ims ld
- data matrix
- knowledge representation
- stochastic petri net
- rule sets
- machine learning
- rule base
- web service composition
- constraint satisfaction problems
- artificial intelligence