شبكة بيتري: الفرق بين النسختين

من ويكيبيديا، الموسوعة الحرة
[نسخة منشورة][نسخة منشورة]
تم حذف المحتوى تمت إضافة المحتوى
JarBot (نقاش | مساهمات)
ط بوت:إزالة تصنيف عام لوجود تصنيف فرعي V2.4 (إزالة تصنيف:معلوماتية نظرية)
JarBot (نقاش | مساهمات)
ط بوت:إضافة مصدر من ويكي الإنجليزية أو الفرنسية (تجريبي)
سطر 1: سطر 1:
'''شبكات بيتري''' نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطة أي تحصل في نفس الوقت (parallel).<ref>{{cite journal | url = http://www.cs.uic.edu/bin/view/Murata/Publications | title = Petri Nets: Properties, Analysis and Applications | first = Tadao | last = Murata | journal = Proceedings of the IEEE | volume = 77 | issue = 4 | pages = 541–558 | date = April 1989 | accessdate = 2014-10-13 | doi=10.1109/5.24143}}</ref><ref>{{cite book | url = https://books.google.com/books?id=VsS0JkMcXGwC | title = Discrete, continuous, and hybrid Petri Nets | first1 = René | last1 = David | first2 = Hassane | last2 = Alla | publisher = Springer | date = 2005 | isbn = 978-3-540-22480-8 }}</ref><ref>{{cite book | first1 = C. | last1 = Dufourd | first2 = A. | last2 = Finkel | first3 = Ph. | last3 =Schnoebelen | chapter = Reset Nets Between Decidability and Undecidability | title = Proceedings of the 25th International Colloquium on Automata, Languages and Programming | series = [[Lecture Notes in Computer Science|LNCS]] | volume = 1443 | pages = 103–115 | date = 1998 }}</ref> أبتكرت شبكات بيتري عن طريق [[كارل بيتر بيتري]] في الستينات وتعتبر تعميما ل[[نظرية الآلات]] Automata theory
{{مصدر|تاريخ=مارس 2016}}
'''شبكات بيتري''' نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطة أي تحصل في نفس الوقت (parallel). أبتكرت شبكات بيتري عن طريق [[كارل بيتر بيتري]] في الستينات وتعتبر تعميما ل[[نظرية الآلات]] Automata theory


[[ملف:364px-Petrinetz.png|200بك| مثال عن شبكات بتري.]]
[[ملف:364px-Petrinetz.png|200بك| مثال عن شبكات بتري.]]
[[ملف:Einfaches petrinetz.png|200بك|عملية and بشبكات بتري.]]
[[ملف:Einfaches petrinetz.png|200بك|عملية and بشبكات بتري.]]
== مراجع ==
{{مراجع}}

{{شريط بوابات|رياضيات|روبوتيات|إلكترونيات}}
{{شريط بوابات|رياضيات|روبوتيات|إلكترونيات}}



نسخة 12:27، 24 ديسمبر 2017

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

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

مراجع

  1. ^ Murata، Tadao (أبريل 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.