شبكة بيتري

شبكات بيتري هي نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطعة أي تحصل في نفس الوقت (parallel).[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، مؤرشف من الأصل في 23 سبتمبر 2015، اطلع عليه بتاريخ 13 أكتوبر 2014.
David, René؛ Alla, Hassane (2005)، Discrete, continuous, and hybrid Petri Nets، Springer، ISBN 978-3-540-22480-8، مؤرشف من الأصل في 15 ديسمبر 2019.
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.

بوابة كهرباء
بوابة إلكترونيات
بوابة روبوتيات
بوابة رياضيات
بوابة علم الحاسوب

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Murata, Tadao (أبريل 1989)، "Petri Nets: Properties, Analysis and Applications"، Proceedings of the IEEE، 77 (4): 541–558، doi:10.1109/5.24143، مؤرشف من الأصل في 23 سبتمبر 2015، اطلع عليه بتاريخ 13 أكتوبر 2014.

[2] David, René؛ Alla, Hassane (2005)، Discrete, continuous, and hybrid Petri Nets، Springer، ISBN 978-3-540-22480-8، مؤرشف من الأصل في 15 ديسمبر 2019.

[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.