Fuzzy Petri net tool for modeling and verification of knowledge-based systems

Computer Journal

Volumn 43, Issue 3, 2000, Pages 206-223

  Koriem, Samir M ^a  

^a Al Azhar University   (Egypt)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SYSTEMS PROGRAMMING; DECISION MAKING; ERROR DETECTION; FUZZY SETS; MATHEMATICAL MODELS; PETRI NETS;

MODIFIED FUZZY PETRI NETS (MFPN);

KNOWLEDGE BASED SYSTEMS;

EID: 0033701673     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/43.3.206     Document Type: Article

References (20)

1. Murata, T. and Yim, J. (1995) Petri net methods for reasoning in real-time control systems. In Proc. 1995 IEEE Int. Symp. on Circuits and Systems, Seattle, WA, pp. 517-520. IEEE Computer Society Press, Los Alamitos, CA.
2. Murata, T. (1996) Temporal uncertainty and fuzzy-timing high-level Petri nets. In Proc. 17th Int. Conf. of Application and Theory of PNs, Osaka, Japan, June 26, pp. 11-28. IEEE Computer Society Press, Los Alamitos, CA.
3. Murata, T., Suzuki, T. and Shatz, S. M. (1996) Fuzzy-timing high-level Petri net model of a real-time network protocol. In Proc. ITC-CSCC 96, Seoul, Korea, July 15-17, pp. 1170-1173. IEEE Computer Society Press, Los Alamitos, CA.
4. Ashon, S. I. (1995) Petri net models of fuzzy neural networks. IEEE Trans. Syst., Man Cybernetics, 25, 926-932.
5. Cao, T. and Sanderson, A. C. (1993) Variable reasoning and analysis about uncertainty with fuzzy Petri nets. In Proc. 14th Int. Conf. on Application and Theory of Petri Nets, Troy, New York, August, pp. 126-175. IEEE Computer Society Press, Los Alamitos, CA.
6. Chen, S.-M., Ke, J.-S. and Chang, J.-F. (1990) Knowledge representation using fuzzy Petri nets. IEEE Trans. Knowledge Data Engineering, 2, 311-319.
7. Looney, G. (1988) Fuzzy Petri nets for rule-based decision making. IEEE Trans. Syst., Man Cybernetics, 18, 178-183.
8. Guida, G. and Tasso, C. (1993) Design and Development of Knowledge-Based Systems. Wiley, New York.
9. Mengshoel, O. J. and Delab, S. (1993) Knowledge validation: principles and practice. IEEE Expert, 8, 62-68.
10. Clymer, J. R., Corey, P. D. and Gardner, J. A. (1992) Discrete event airport control. IEEE Trans. Syst., Man Cybernetics, 22, 343-351.
11. Polat, F. and Guvenir, H. (1993) UVT: A unification-based tool for knowledge base verification. IEEE Expert, 8, 69-75.
12. Eshera, M. A. and Barash, S. C. (1989) Parallel rule-based fuzzy inference on mesh-connected systolic array. IEEE Expert, Winter, 4, 17-35.
13. Zadeh, L. A. (1989) Knowledge representation in fuzzy logic. IEEE Trans. Knowledge Data Eng., 1, 89-100.
14. Cardoso, J. and Camargo, H. (1999) Fuzziness in Petri nets. Studies in Fuzziness and Soft Computing, Vol. 22. Physica Verlag.
15. Garg, L., Ahson, S. I. and Gupta, P. V. (1991) A fuzzy Petri net for knowledge representation and reasoning. Inform. Proc. Lett., 39, 165-171.
16. Nazareth, D. L. (1993) Investigating the applicability of Petri nets for rule-based system verification. IEEE Trans. Knowledge Data Eng., 4, 402-415.
17. Dwyer, M. B. and Clarke, L. A. (1996) A compact Petri net representation and its implications for analysis. IEEE Trans. Software Eng., 22, 794-811.
18. Chaudhury, A., Marinescu, D. C. and Whinston, A. (1993) Net-based computational models of knowledge processing systems. IEEE Expert, 8, 79-86.
19. Jang, J.-S. R., Sun, C.-T. and Mizutani, E. (1997) Neuro Fuzzy and Soft Computing. Prentice-Hall International, London.
20. Dew, R. A. (1992) Determining maximal subsets of enabled transitions when simultaneous conflict occurs in Petri nets. Austral. Comput. J., 24, 152-161.