Abstract
There are several techniques to reduce Petri nets which play important roles in wide application areas. This paper presents a new approach to reduce the Petri nets. The suggested approach depends on converting the Petri nets to logic programs, then process the production rules of logic programs using association rules technique with Apriori algorithm to extract the logical relations of these production rules which allows to reduce the logic program. At last, the Petri nets are reconstruct from reduced logic programs to produce reduced Petri nets. The experimental results show that the suggested approach is a good, efficient and logical technique to reduce the Petri nets.
Abstract
هناك عدة طرق لتقليص شبكات Petri التي تلعب دوراً مهماً في تطبيقات واسعة المجال. في هذا البحث سيتم تقديم نموذج جديد ومختلف لتقليص شبكات Petri . النموذج المقترح يعتمد على تحويل شبكات Petri الى برنامج منطقي ومن ثم معالجة هذا البرنامج من خلال تقنية القواعد الارتباطية باستخدام خوارزمية Apriori لاستخراج العلاقات المنطقية لقواعد الانتاج والتي تؤدي الى تقليص البرنامج المنطقي. وفي النهاية يتم اعادة بناء شبكات Petri من خلال البرنامج المنطقي المقلص. اثبتت التجارب التي اجريت على ان الطريقة المقترحة جيدة وكفوءة ومنطقية في عملها لتقليص شبكات Petri.