Petri Net and Matrix Representation of Rule Knowledge Base for Verification Task
Publisher
Springer-Verlag
Reference14 articles.
1. Agarwal R., Tanniru M., A Petri-net approach for verifying the integrity of production systems, International Journal of Man-Machine Studies, 36(3), 1992.
2. Coenen F., An Advanced Binary Encoded Matrix Representation For Rulebase Verification, Journal of Knowledge Based Systems, vol. 8, no 4, 1995.
3. Coenen F., Rulebase Checking Using a Spatial Representation, 1998, available at: frans@uk.ac.liverpool.compsci
4. Coenen F. Bench-Capon T., Maintenance of Knowledge-Based Systems, Academic Press Inc., San Diego, 1993.
5. Nazareth D.L., Investigating the applicability of petri nets for rule-based system verification, IEEE Transactions on Knowledge and Data Engineering, 4(3), 1992.