نموذج الطابور
في نظرية الطابور، يُستخدم نموذج الطابور لتقريب حالة أو نظام طابور حقيقي، وذلك يمكننا من تحليل سلوك الطابور رياضياً. وتتيح لنا نماذج الطوابير أن نحدد مقاييس الأداء لعدد من الحالات المستقرة المستخدمة، بما في ذلك:
مقاييس الأداء هذه مهمة كقضايا أو مشاكل تسببها حالات الطوابير، وغالباً ما تكون متعلقة باستياء الزبون من الخدمة أو ربما تكون السبب الرئيسي للخسائر الاقتصادية في الأعمال التجارية. فتحليل نماذج الطوابير ذات الصلة يسمح بالتعرف على أسباب مشاكل الطابور ومدى تأثير التغييرات التي قد نريد تقييمها.
يمكن تمثيل نماذج الطوابير باستخدام ترقيم كندال: 
A/B/S/K/N/Disk
بحيث أن:
في أحيان كثيرة تحذف آخر المتغيرات، وبالتالي فإن الترقيم يصبح A/B/S مع افتراض أن formula_1 وformula_2 و Disk=FIFO (FIFO من يدخل أولاً يخرج أولاً).
وهنا بعض الترقيمات القياسية للتوزيعات (A أو B):
تبنى عادةً نماذج الطوابير لتمثيل حالة الاستقرار لنظام طابوري، أي الحالة القياسية التي يعمل فيها النظام طويلاً أو الحالة المتوسطة للنظام. ونتيجة لذلك، فهذه هي نماذج عشوائية تُمثِّل احتمالية وجود النظام الطابوري في شكل معين أو حالة مخصصة.
الطريقة العامة لبناء وتحليل النظام الطابوري هي:
في حين أن المسائل المحددة التي لديها نماذج صغيرة ومحدودة الحالات غالباً ماتكون قابلة للتحليل الرقمي، تحليل النماذج الأعم باستخدام حسابات التفاضل والتكامل ينتج معادلات مفيدة قابلة للتطبيق على كل أصناف المسائل.
طوابير الخادم الواحد هي في الحقيقة الحالات التي نصادفها في أغلب الأحيان في الحياة العامة. فالشخص يرى طابوراً بخادم واحد في كثير من الأحيان، مثلاً في التجارة (ككاتب المبيعات) وفي الصناعة (كخط الإنتاج) وفي وسائل النقل (كالحافلة والتاكسي والتقاطعات) وفي الاتصالات (كخطوط الهاتف) وفي الحواسيب (كمشاركة المعالج). وحتى عندما يكون هناك العديد من الخوادم، ففي كثيرٍ من الحالات بإمكاننا النظر إلى كل خادم على حدة باعتباره جزءاً من النظام الكلي (مثلاً في السوبرماركت لدينا العديد من طوابير الخادم الواحد –المحاسبون- والتي يستطيع المتسوق أن يختار أحدها). وبالتالي، فالقدرة على نمذجة وتحليل سلوك طابور الخادم الواحد يفيد كثيراً.
formula_3 تمثل خادماً واحداً لديه طابور غير محدود السعة وعدد لانهائي من النداءات، القدوم والخدمة كلاهما على طريقة بويسون (أو عمليات عشوائية)، وهذا يعني بأن التوزيع الإحصائي لكل من أوقات الخدمة والأوقات الفاصلة بين القدوم يتبعان التوزيع الأسِّي. وبسبب الطبيعة الرياضية للتوزيع الأسّي، فهناك عدد من العلاقات البسيطة للغاية قابلة لأن تُشتقَّ لمقاييس أداء متعددة وذلك بناء على معرفة معدلات القدوم والخدمة.
وهذا من حسن الحظ لأن نظام الـ M/M/1 الطابوري قابل لأن يستخدم لتقريب الكثير من حالات الطوابير.
formula_4 تمثل خادماً واحداً لديه طابور غير محدود السعة وعدد لانهائي من النداءات. في حين أن القدوم ما زال على طريقة بويسون، أي أن التوزيع الإحصائي للأوقات الفاصلة بين القدوم ما زال يتبع التوزيع الأسِّي، إلا أن توزيع وقت الخدمة لايتبع ذلك. فتوزيع وقت الخدمة قد يتبع أي توزيع إحصائي عام وليس فقط التوزيع الأسِّي. أما بالنسبة للعلاقات فهي ما زالت قابلة لأن تُشتقَّ لعددٍ (محدود) من مقاييس الأداء إذا كنا نعلم معدل القدوم والمتوسط والفرق لمعدل الخدمة. ومع ذلك فهذه الاشتقاقات عموماً أكثر تعقيداً.
إن عدداً من الحالات الخاصة منM/G/1 تقدم حلولاً محددة تعطي نظرة أعمق للنموذج الأفضل للاختيار لحالاتٍ محددة من الطوابير لأنها تسمح بالمقارنة بين هذه الحلول وأداء نموذج الـ M/M/1.
غالباً مانواجه طابور الخوادم المتعددة (والمتماثلة) في الاتصالات وفي بيئات خدمات العملاء. وحين نقوم بنمذجة إحدى هذه الحالات، فعلينا توخي الحذر للتأكد من أنها طابور خوادم متعددة وليست شبكة من طوابير الخادم الواحد، لأن النتائج قد تختلف بالاعتماد على سلوك نموذج الطابور.
وقد قدمت لنا المقارنة بين نماذج الطوابير أن الطابور الواحد المُزوِّد لعدة خوادم يقدم أداءً أفضل من كون كل خادم لديه طابوره الخاص به، وأن وضع مساحة خدمة وحيدة لعدة خوادم أفضل من وضع مساحات خدمة أصغر وأكثر، حتى لو كان لدينا نفس العدد من الخوادم في النظام.
وكمثال بسيط لإثبات الحقيقة السابقة: لنفترض نظاماً بـ 8 خطوط إدخال وطابور وحيد و8 خوادم، وخط الإخراج بسعة 64 كيلوبت/ثانية. ولنفرض معدل القدوم في كل خط إدخال هو حزمتين/ثانية. إذاً فمعدل القدوم الكلي هو 16 حزمة/ثانية. وبمعدل 2000 بت لكل حزمة، سيكون معدل الخدمة 64 كيلوبت/ثانية/2000 بت = 32 حزمة/ثانية. وهنا، فمعدل وقت استجابة النظام هو:
والآن لنفترض نظاماً آخر بـ 8 طوابير، واحداً لكل خادم. وكل واحد من خطوط الإخراج الثمانية بسعة 8 كيلوبت/ثانية. وبالحسابات سيتضح لنا أن وقت استجابة النظام هو:
ومعدل وقت الانتظار في الطابور في الحالة الأولى هو:
بينما في الحالة الثانية يصبح 0.03125
بينما لانجد هذه الحالة فعلياً في الواقع، فنموذج العدد اللانهائي من الخوادم (مثل formula_5) هو نموذج نظري مريح للحالات التي تنطوي على تخزين أو تأخير، مثل مواقف السيارات والمستودعات وحتى التحولات الذرية. في هذه النماذج لاتوجد طوابير، فكلُ قادمٍ يتلقى الخدمة مباشرة. وحين ننظر له من الخارج، فالنموذج يبدو وكأنه يؤخر أو يحفظ كل عميل لبعض الوقت.