| Author(s) | Samir M. Koriem |
| Affiliation | Department of Systems and Computer Engineering, Faculty of Engineering, Al-Azhar University, Nasr City. Cairo. Egypt |
| Title | eN-Nets for Modeling and Analyzing Neural Networks |
| Source | Journal of King Saud University. Computer & Information Sciences. Volume 13, No 1. (2001/1421) |
| Abstract | The concept of colored timed neural Petri nets (CTNPN or Shortly eN-net) which are isomorphic to neural architectures is proposed. The CN-net technique incorporates the basic features of the neural net and the modeling capabilities of both colored and timed Petri nets. The essential principles involved in the construction of the CN-net are discussed in detail. The computation power of the eN-net model is demonstrated through the "timed reachability graph" (TRG) that is developed ftom this model. The CN-net is designed to study the structure properties of the artificial neural networks (ANNs) while the TRG is used for verifying the dynamic behavior of these networks. Furthermore, the eN-net offers simple and readable model representation making it easy to design fitting VLSI circuits for complex ANNs. Practical examples are given illustrating the way in which the eN-net as a novel modeling technique can be employed to simulate the dynamic behavior and parallel activities of the ANNs. Keywords: Modeling; Neural networks; Specification; Colored and timed petri nets; Verification. |
