شبكة بيتري
شبكة بيتري
| صنف فرعي من | |
|---|---|
| جزء من | |
| البداية |
عقد 1960  |
| سُمِّي باسم | |
| مستوحاة من | |
| يدرسه | |
| يستخدم بواسطة |
شبكات بيتري Petri net هي نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطعة أي تحصل متوازية في نفس الوقت .[1][2][3] ابتكرت شبكات بيتري عن طريق كارل آدم بيتري في الستينات وتعتبر تعميمًا لنظرية الآلات Automata theory.
اقرأ أيضًا
مراجع
- ↑ Murata، Tadao (أبريل 1989). "Petri Nets: Properties, Analysis and Applications". Proceedings of the IEEE. ج. 77 ع. 4: 541–558. DOI:10.1109/5.24143. مؤرشف من الأصل في 2015-09-23. اطلع عليه بتاريخ 2014-10-13.
- ↑ David، René؛ Alla، Hassane (2005). Discrete, continuous, and hybrid Petri Nets. Springer. ISBN:978-3-540-22480-8. مؤرشف من الأصل في 2019-12-15.
- ↑ 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.
{{استشهاد بكتاب}}: صيانة الاستشهاد: علامات ترقيم زائدة (link)
في كومنز مواد ذات صلة بـ شبكة بيتري.