Document Details

Document Type : Article In Journal 
Document Title :
Visualization of Aho Corasick Algorithm Using Z-eves and Petri Net
تصور خوارزمية أهو كوراسيك باستخدام زد ايفي وشبكة بتري
 
Subject : Computer Science 
Document Language : English 
Abstract : In molecular biology, DNA sequence matching is one of the most crucial operations. The challenges of similarity search in a large size of DNA databases inspire the development of searching and matching techniques. Inspired by recent work in DNA sequence search, we have developed such a model for visualized the matching process. Z and Petri Net are two languages of model-based specification techniques. Z is used to define tokens, labels and constraints of the system and Petri nets are used to specify the overall structure, control flows, causal relation, and dynamic behavior of a system. Z structured as a set of schemas with box-like structures that introduce variables and the relationships between these variables are formally stated. To verify the correctness of the specifications, a tool called Z-eves can be used. Petri Nets represent the structure of workflow systems in the form of graph. Tokens are used in these nets to visualize, simulate the dynamic and concurrent activities of systems. This paper will discuss regarding the visualization of Aho-Corasick algorithm using Z specification and Petri Nets. 
ISSN : 1450-216X 
Journal Name : European Journal of Scientific Research 
Volume : 45 
Issue Number : 1 
Publishing Year : 1431 AH
2010 AD 
Article Type : Article 
Added Date : Saturday, February 5, 2011 

Researchers

Researcher Name (Arabic)Researcher Name (English)Researcher TypeDr GradeEmail
سامي محمد حلوانيHalawani, Sami MohamedResearcherDoctoratedr.halawani@gmail.com
زيلاني محمد صديقSidek, Zailani MohamedResearcherDoctoratezsidek@kau.edu.sa

Files

File NameTypeDescription
 28838.pdf pdfVisualization of Aho Corasick Algorithm Using Z-eves and Petri Net

Back To Researches Page