شبكة بيتري

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

مثال عن شبكات بتري.
مثال عن شبكات بتري.
عملية and بشبكات بتري.
عملية and بشبكات بتري.
(a) Petri net trajectory example

اقرأ أيضًا

مراجع
  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.
  • أيقونة بوابةبوابة إلكترونيات
  • أيقونة بوابةبوابة روبوتيات
  • أيقونة بوابةبوابة رياضيات
  • أيقونة بوابةبوابة علم الحاسوب
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.