شبكة بيتري

من ويكيبيديا، الموسوعة الحرة
(بالتحويل من شبكات بيتري)
اذهب إلى: تصفح، ‏ ابحث

شبكات بيتري نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطة أي تحصل في نفس الوقت (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. اطلع عليه بتاريخ 13 أكتوبر 2014. 
  2. ^ David، René؛ Alla، Hassane (2005). Discrete, continuous, and hybrid Petri Nets. Springer. ISBN 978-3-540-22480-8. 
  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. 
Midori Extension.svg
هذه بذرة مقالة بحاجة للتوسيع. شارك في تحريرها.