شبكة بيتري

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

شبكات بيتري نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطة أي تحصل في نفس الوقت (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. اطلع عليه بتاريخ 2014-10-13. 
  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.