شبكة بيتري
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Animated_Petri_net_commons.gif/220px-Animated_Petri_net_commons.gif)
شبكة بيتري
صنف فرعي من | |
---|---|
جزء من | |
البداية | |
سُمِّي باسم | |
مستوحاة من | |
يدرسه | |
تُستخدَم بواسطة |
شبكات بيتري Petri net هي نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطعة أي تحصل متوازية في نفس الوقت .[1][2][3] ابتكرت شبكات بيتري عن طريق كارل آدم بيتري في الستينات وتعتبر تعميمًا لنظرية الآلات Automata theory.
![مثال عن شبكات بتري.](http://upload.wikimedia.org/wikipedia/ar/thumb/4/48/Petrinetz.png/200px-Petrinetz.png)
![عملية and بشبكات بتري.](http://upload.wikimedia.org/wikipedia/commons/thumb/a/ac/Einfaches_petrinetz.png/200px-Einfaches_petrinetz.png)
اقرأ أيضًا[عدل]
مراجع[عدل]
- ^ 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.
![]() |
في كومنز صور وملفات عن: شبكة بيتري |