Proposition d'une sémantique orientée objet pour les réseaux de Petri sous Maude

Abstract

Les réseaux de Petri sont un outil révolutionnaire pour modéliser, simuler et analyser les comportements ainsi que les interactions des systèmes dynamiques et concurrents. Cependant, la sémantique basée sur la logique de réécriture existante des réseaux de Petri standard ne reflète pas la séquence réelle d'évolution de l'état des réseaux de Petri, car elle n'est pas en mesure de montrer naturellement quelles sont les transitions activées dans chaque nouvel état du système. De plus, il ne prend pas en charge le calcul implicite de nombre de jetons dans les places, ce qui complique la description de l'état du réseau de Petri. De telles lacunes peuvent limiter l'utilisation de la sémantique existante à des fins de simulation et son utilisation peut conduire à une évolution et/ou à une description d'état incompréhensible du modèle de réseau de Petri. Dans le présent travail, nous proposons une sémantique orientée objet basée sur la logique de réécriture pour les réseaux de Petri qui surmonte ces limitations et fournit une description améliorée des règles d'activation et de franchissement afin de mieux décrire et/ou de simuler l'état et l'évolution des systèmes dynamiques.شبكات بتري هي أداة رائدة لنمذجة ومحاكاة وتحليل سلوكيات وتفاعلات الأنظمة الديناميكية والمتزامنة. ومع ذلك، فإن الدلالات القائمة على منطق إعادة الكتابة الحالي لشبكات بتري القياسية لا تعكس تسلسل تطور الحالة الفعلي لشبكات بتري، حيث إنها غير قادرة على إظهار التحولات التي تم تمكينها بشكل طبيعي في كل حالة جديدة من النظام. علاوة على ذلك، لا يدعم الحساب الضمني لعدد ، مما يعقـد وصف حالة شبكة بتري. كما يمكن أن تحد أوجه ّ العينات(jeton (في الأماكن(places( القصور هذه من استخدام الدلالات الحالية لأغراض المحاكاة وقد يؤدي استخدامها إلى تطور أو وصف حالة غير مفهوم لنموذج شبكة بتري. في هذه المذكرة، نقترح دلالات موجهة للكائنات استنادًا إلى منطق إعادة الكتابة لشبكات Petri التي تتغلب على هذه النقائص وتوفر وصفًا محسنًا لقواعد التنشيط وقواعد التشغيل لوصف أو محاكاة حالة أو تطور الأنظمة الديناميكية بدقة.