سؤال في petri-net

السلام عليكم ...

1. تتألف الــ Petri Net :
   1. من مجموعة من الــ Places هي الدوائر .
   2. و مجموعة من الــ Transitions (الانتقالات) هي الأعمدة الشاقولية .
   3. و مجموعة من الــ Arcs (الاسهم) ..الــ Arcs التي تتجة إلى الــ Transition هي Input له (من الدائرة للخط الشاقولي) و الخارجة من الــ Transition هي output (من الخط الشاقولي لدائرة أخرى) .
   4. يتم وضع دوائر سوداء داخل الــ Places تسمى Tokens .. (تعبر عن حالة النظام الذي تمثله شبكة بتري) .
   5. الــ Transition Enabled.. ( تفعيل الانتقال) نقول أن Transition أصبح مفعلا إذا كان كل الــ Places (دوائر ) التي تنطلق منها الــ Input Arcs له يكون فيها Tokens ..
   6. الــ Transition Firing .. (قدح الانتقال) .. يتم قدح أحد الانتقالات التي هي enabled عن طريق نقل الــ Tokens من جميع الــ places التي تنطلق منها الــ Input Arcs و وضع هذه الــ Tokens في كل الــ places التي تصل إليها الـ ـOutput Arcs
   7. بالنسبة لسؤالك الأول (أحاول تفسير المكتوب) .. يقول أنه لدينا أثنان من الــ Transitions قد أصبحا Enabled (صحيح لأن المداخل كلها فيها Token) و يجب قدح واحد فقط الذي يعني نقل الــ Tokens من المداخل إلى المخارج .. و لكن هما مشتركان بمدخل (place) (sharing input) .و نقل الــ token من هذا الــplace سيجعل الــ transition الآخر قد أصبح disabled أي غير مفعل ... (ربما هذا المقصود بذلك)
   8. حساب omega .. (اعتقد تلفظ ميو) .. (يمثل عدد الــ Tokens في كل Place .. على فرض أن الـ places مرقمة) .. و يسمى الــ Marking (يعبر عن حالة الشبكة أو النظام) .. يقول لك إن قدح الــ T4 (انقل الــ tokens من المداخل إلى المخارج في T4 فقط) يحول الــشبكة من (1,0,0,2,1) إلى (1,0,1,3,0) المرسوم في Figure 3 و هذا صحيح ..
   9. المثال الأخير يقوم بنمذجة مسألة ما (الفلاسفة الخمسة أو Consumer/producer ربما) ...لم افهمها جيدا .. ارجو من الأعضاء أن يفيدونا ..
      

houssam11350_11350 كتب:

السلام عليكم ...

1. تتألف الــ Petri Net :
   1. من مجموعة من الــ Places هي الدوائر .
   2. و مجموعة من الــ Transitions (الانتقالات) هي الأعمدة الشاقولية .
   3. و مجموعة من الــ Arcs (الاسهم) ..الــ Arcs التي تتجة إلى الــ Transition هي Input له (من الدائرة للخط الشاقولي) و الخارجة من الــ Transition هي output (من الخط الشاقولي لدائرة أخرى) .
   4. يتم وضع دوائر سوداء داخل الــ Places تسمى Tokens .. (تعبر عن حالة النظام الذي تمثله شبكة بتري) .
   5. الــ Transition Enabled.. ( تفعيل الانتقال) نقول أن Transition أصبح مفعلا إذا كان كل الــ Places (دوائر ) التي تنطلق منها الــ Input Arcs له يكون فيها Tokens ..
   6. الــ Transition Firing .. (قدح الانتقال) .. يتم قدح أحد الانتقالات التي هي enabled عن طريق نقل الــ Tokens من جميع الــ places التي تنطلق منها الــ Input Arcs و وضع هذه الــ Tokens في كل الــ places التي تصل إليها الـ ـOutput Arcs
   7. بالنسبة لسؤالك الأول (أحاول تفسير المكتوب) .. يقول أنه لدينا أثنان من الــ Transitions قد أصبحا Enabled (صحيح لأن المداخل كلها فيها Token) و يجب قدح واحد فقط الذي يعني نقل الــ Tokens من المداخل إلى المخارج .. و لكن هما مشتركان بمدخل (place) (sharing input) .و نقل الــ token من هذا الــplace سيجعل الــ transition الآخر قد أصبح disabled أي غير مفعل ... (ربما هذا المقصود بذلك)
   8. حساب omega .. (اعتقد تلفظ ميو :) :) :) أسف على الخطأ ) .. (يمثل عدد الــ Tokens في كل Place .. على فرض أن الـ places مرقمة) .. و يسمى الــ Marking (يعبر عن حالة الشبكة أو النظام) .. يقول لك إن قدح الــ T4 (انقل الــ tokens من المداخل إلى المخارج في T4 فقط) يحول الــشبكة من (1,0,0,2,1) إلى (1,0,1,3,0) المرسوم في Figure 3 و هذا صحيح ..
   9. المثال الأخير يقوم بنمذجة مسألة ما (الفلاسفة الخمسة أو Consumer/producer ربما) ...لم افهمها جيدا .. ارجو من الأعضاء أن يفيدونا ..
      
      
      أخي الكريم شكرا لك على الرد أود لو سمحت أن تشرح لي النقطة رقم 5 بتوسع اكبر لوسمحت,,, بصراحة أنا أدرس هذه المادة online ولم أفهم هذه النقطة وكذلك حاولت الرجوع الى بعض المصادر ولكن لم أفهم : بالنسبة للطرف الايسر فالعملية سهلة وهي عبارة عن كتابة كم token في كل place من 1 الى 4 ولكن السؤال هو كيف يتم حساب التوكن بعد القدح firing؟؟

السلام عليكم ...

لا شكر على واجب أخي ..

1. كما قلت فالطرف الأيسر هو عدد الــ Token في كل place قبل الــ Firing ..
2. الطرف الأيمن هو عدد الــ Token في كل Place بعد الــ Firing لــ T4 .
3. الــ Firing لــ T4 :
   1. يكون بـــ حذف الــ Token من كل المداخل و لدينا مدخل واحد فقط هو P5 فيه Token واحد , فنحذفه أي يصبح فارغا . (p5=0)
   2. إضافة الــ Token لكل المخارج و لدينا مخرجان :
      1. p3 و هو فارغ , فنضيف له Token واحد فيصبح فيه فقط هذا الــ Token الواحد .(p3=1)
      2. p4 و فيه اثنان من الــ Token , فنضيف له Token واحد , فيصبح فيه ثلاثة من الــ Token . يكون (p4=3)
         
      3. P1 و P2 لا تغيير فيهما , قيبقى عدد الــ Token فيهما نفسه قبل القدح . (p1=1 , p2=0)
      4. إذا أصبح لدينا عدد الــ Tokens هو (1,0,1,3,0 )
         

شكرا لك أخي الكريم :clapping:

وصلت المعلومة

بارك الله فيك أتمنى أن يستفيد باقي الاعضاء