الرسم البياني المميز

الرسم البياني المُعلَّم هو شبكة بتري يكون لكل نقطة فيها قوس وارد واحد فقط، وقوس صادر واحد فقط. ^{[ 1 ] : 561} وهذا يعني أنه لا يمكن أن يكون هناك تعارض ، ولكن يمكن أن يكون هناك تزامن . رياضياً:${\displaystyle \forall p\in P:|p\bullet |=|\bullet p|=1}$تُستخدم الرسوم البيانية المُعلَّمة في الغالب لتمثيل العمليات المتزامنة رياضيًا، مثل حالة العملية الداخلية لجهاز متعدد المعالجات. وقد سُميت هذه الفئة من شبكات بتري بهذا الاسم نسبةً إلى طريقة شائعة لتمثيلها: كرسم بياني حيث يُمثل كل موضع حافة، وكل انتقال عقدة.

تُستخدم الرسوم البيانية المميزة بشكل أساسي لتمثيل الآليات المتزامنة رياضياً، وذلك من أجل القدرة على استخلاص خصائص معينة للتصميم رياضياً.

يُقدّم هذا المثال رسمًا بيانيًا مُعلّمًا، حيث يتم تفرع عملية عند الانتقال T1 ومزامنتها عند T4. بينهما، تجري عمليتان بطريقة غير حتمية، T2 وT3. في الواقع، تُعدّ شبكات بتري غير حتمية لدرجة أنها قد لا تحدث على الإطلاق. لكن السبب وراء هذه الخاصية غير الحتمية ليس هذا، بل محاكاة التجارب الواقعية التي تُظهر أن الحوسبة المتوازية تعني دائمًا استحالة تحديد أي عملية/خيط سينتهي أولًا، أي أي عملية (عمليات) ستُنفّذ بشكل أسرع. قد يعود ذلك إلى انتظار عمليات الإدخال/الإخراج في العالم الحقيقي، أو ببساطة إلى اختلاف المعاملات المُعطاة للعمليات/الخيوط.

• أحادي التاريخ
• أحادي الأثر