شبكة بيتري

معلومات عامة
صنف فرعي من	مخطط ثنائي; quiver (en)
جزء من	علم الحاسوب
البداية	عقد 1960
سُمِّي باسم	آدم كارل بيتري
مستوحاة من	آلة محدودة الحالات
يدرسه	هندسة البرمجيات
يستخدمه	نظرية التحكم

شبكات بيتري Petri net هي نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطعة أي تحصل متوازية في نفس الوقت .^[1]^[2]^[3] ابتكرت شبكات بيتري عن طريق كارل آدم بيتري في الستينات وتعتبر تعميمًا لنظرية الآلات Automata theory.

مراجع

^ Murata، Tadao (أبريل 1989). "Petri Nets: Properties, Analysis and Applications". Proceedings of the IEEE. ج. 77 ع. 4: 541–558. DOI:10.1109/5.24143. مؤرشف من الأصل في 2015-09-23. اطلع عليه بتاريخ 2014-10-13.
^ David، René؛ Alla، Hassane (2005). Discrete, continuous, and hybrid Petri Nets. Springer. ISBN:978-3-540-22480-8. مؤرشف من الأصل في 2019-12-15.
^ Dufourd، C.؛ Finkel، A.؛ Schnoebelen، Ph. (1998). "Reset Nets Between Decidability and Undecidability". Proceedings of the 25th International Colloquium on Automata, Languages and Programming. LNCS. ج. 1443. ص. 103–115.

هذه بذرة مقالة عن الحاسوب أو العاملين في هذا المجال، بحاجة للتوسيع. فضلًا شارك في تحريرها.

[1] Murata، Tadao (أبريل 1989). "Petri Nets: Properties, Analysis and Applications". Proceedings of the IEEE. ج. 77 ع. 4: 541–558. DOI:10.1109/5.24143. مؤرشف من الأصل في 2015-09-23. اطلع عليه بتاريخ 2014-10-13.

[2] David، René؛ Alla، Hassane (2005). Discrete, continuous, and hybrid Petri Nets. Springer. ISBN:978-3-540-22480-8. مؤرشف من الأصل في 2019-12-15.

[3] Dufourd، C.؛ Finkel، A.؛ Schnoebelen، Ph. (1998). "Reset Nets Between Decidability and Undecidability". Proceedings of the 25th International Colloquium on Automata, Languages and Programming. LNCS. ج. 1443. ص. 103–115.

[1]

[2]

[3]

اقرأ أيضًا

مراجع