الحالة ( μ ) في شبكات بتري - marking petri net

تابع الحالة (μ): يقوم على تبيان عدد الكائنات في الموضع μ :P→ℕ ))0 ))









كما ذكرنا سابقا
إن التابع السابق يدل على عدد الكائنات في الموضع أما عندما نريد أن نحدد حالة شبكة بتري (عدد الكائنات في كل موضع من الشبكة) فيمثل ذلك من خلال متجه عدد مساقطه يساوي إلى عدد المواضع في الشبكة و كل مسقط يساوي إلى عدد الكائنات في الموضع الموافق
نرمز للحالة الابتدائية بـ₀μ

إن N مع ₀μ تشكل شبكة بتري أي أن شبكة بتري هي عبارة عن الرباعية

(PN=(P,T,F,μ₀



كما نلاحظ في الشكل السابق بأن عدد الكائنات في الموضع ₁P يساوي إلى واحد بالتالي فإن
μ₀(P₁) =1
و هكذا......
بالتالي فإن الحالة الابتدائية لشبكة بتري في الشكل السابق تساوي إلى
μ₀=[μ₀(P₁),μ₀(P₂),μ₀(P₃),μ₀(P₄),μ₀(P₅)">=[1,0,1,1,2"> 0

بالتالي يمكن وصف شبكة بتري السابقة بأنها الرباعية PN(P,T,F,μ₀) 0 حيث أن:
P={P₁,P₂,P₃,P₄,P₅} & T={t₁,t₂,t₃,t₄ }0 &

F={(t₄,P₁),(P₁,t₁),(P₂,t₁),(P₃,t₁),(t₁,P₄),(P₄,t₃),(P₄,t₂),(t₂,P₅),(t₃,P₅),(t₂,P₂)}0


أرجو اني قد وفقت بالشرح ولو مساهمة بسيطة لإغناء المحتوى العربي
محمد بكرو