شبكة بيتري
تصميم لغوي لتوضيح عمل أنظمة
شبكات بيتري Petri net هي نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطعة أي تحصل متوازية في نفس الوقت .[1][2][3] ابتكرت شبكات بيتري عن طريق كارل آدم بيتري في الستينات وتعتبر تعميمًا لنظرية الآلات Automata theory.
شبكة بيتري
| صنف فرعي من | |
|---|---|
| جزء من | |
| البداية |
عقد 1960  |
| سُمِّي باسم | |
| مستوحاة من | |
| يدرسه | |
| يستخدمه |
اقرأ أيضًا
عدلمراجع
عدل- ^ 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. LNCS. ج. 1443. ص. 103–115.
في كومنز صور وملفات عن Petri nets.
