الرئيسيةعريقبحث

شبكة بيتري

شبكات بيتري نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطة أي تحصل في نفس الوقت (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 سبتمبر 201513 أكتوبر 2014.
  2. David, René; Alla, Hassane (2005). Discrete, continuous, and hybrid Petri Nets. Springer.  . مؤرشف من الأصل في 15 ديسمبر 2019.
  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.

موسوعات ذات صلة :