شبكة بيتري

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

شبكات بيتري نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطة أي تحصل في نفس الوقت (parallel).[1][2][3] أبتكرت شبكات بيتري عن طريق كارل بيتر بيتري في الستينات وتعتبر تعميما لنظرية الآلات Automata theory

مثال عن شبكات بتري. عملية and بشبكات بتري.

مراجععدل

  1. ^ Murata, Tadao (April 1989). "Petri Nets: Properties, Analysis and Applications". Proceedings of the IEEE. 77 (4): 541–558. doi:10.1109/5.24143. مؤرشف من الأصل في 23 سبتمبر 2015. اطلع عليه بتاريخ 13 أكتوبر 2014. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. ^ David, René; Alla, Hassane (2005). Discrete, continuous, and hybrid Petri Nets. Springer. ISBN 978-3-540-22480-8. مؤرشف من الأصل في 15 ديسمبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
  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. 1443. صفحات 103–115. الوسيط |CitationClass= تم تجاهله (مساعدة)


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