شبكة بيتري

تصميم لغوي لتوضيح عمل أنظمة

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

(a) Petri net trajectory example
شبكة بيتري
معلومات عامة
صنف فرعي من
جزء من
البداية
عقد 1960 عدل القيمة على Wikidata
سُمِّي باسم
مستوحاة من
يدرسه
يستخدمه
مثال عن شبكات بتري.
مثال عن شبكات بتري.
عملية and بشبكات بتري.
عملية and بشبكات بتري.

اقرأ أيضًا

عدل

مراجع

عدل
  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.