تفاصيل الوثيقة

نوع الوثيقة : مقال في مجلة دورية 
عنوان الوثيقة :
تصور خوارزمية أهو كوراسيك باستخدام زد ايفي وشبكة بتري
Visualization of Aho Corasick Algorithm Using Z-eves and Petri Net
 
الموضوع : علوم الحاسبات 
لغة الوثيقة : الانجليزية 
المستخلص : 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. 
ردمد : 1450-216X 
اسم الدورية : المجلة العلمية للابحاث العلمية 
المجلد : 45 
العدد : 1 
سنة النشر : 1431 هـ
2010 م
 
نوع المقالة : مقالة علمية 
تاريخ الاضافة على الموقع : Saturday, February 5, 2011 

الباحثون

اسم الباحث (عربي)اسم الباحث (انجليزي)نوع الباحثالمرتبة العلميةالبريد الالكتروني
سامي محمد حلوانيHalawani, Sami Mohamedباحثدكتوراهdr.halawani@gmail.com
زيلاني محمد صديقSidek, Zailani Mohamedباحثدكتوراهzsidek@kau.edu.sa

الملفات

اسم الملفالنوعالوصف
 28838.pdf pdfVisualization of Aho Corasick Algorithm Using Z-eves and Petri Net

الرجوع إلى صفحة الأبحاث