شبكة بيتري: الفرق بين النسختين
[نسخة منشورة] | [نسخة منشورة] |
تم حذف المحتوى تمت إضافة المحتوى
ط بوت:إضافة مصدر من ويكي الإنجليزية أو الفرنسية (تجريبي) |
ط بوت:تحديث وصلة صورة |
||
سطر 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
[[ملف:
[[ملف:Einfaches petrinetz.png|200بك|عملية and بشبكات بتري.]]
== مراجع ==
|