شبكة بيتري

شبكات بيتري هي نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطعة أي تحصل في نفس الوقت (parallel).[1][2][3] ابتكرت شبكات بيتري عن طريق كارل آدم بيتري في الستينات وتعتبر تعميمًا لنظرية الآلات Automata theory.

مراجع

  1. Murata, Tadao (April 1989). "Petri Nets: Properties, Analysis and Applications". Proceedings of the IEEE. 77 (4): 541–558. doi:10.1109/5.24143. مؤرشف من الأصل في 23 سبتمبر 2015. اطلع عليه بتاريخ 13 أكتوبر 2014. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. David, René; Alla, Hassane (2005). Discrete, continuous, and hybrid Petri Nets. Springer. ISBN 978-3-540-22480-8. مؤرشف من الأصل في 15 ديسمبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
  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. 1443. صفحات 103–115. الوسيط |CitationClass= تم تجاهله (مساعدة)
    • بوابة كهرباء
    • بوابة إلكترونيات
    • بوابة روبوتيات
    • بوابة رياضيات
    • بوابة علم الحاسوب
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.