ChatDiagram
נסו בחינם
6 templates · Petri net

דוגמאות לרשתות Petri במערכות מקביליות

רשתות Petri ממדלות מקביליות באופן פורמלי — מקומות מכילים אסימונים, מעברים נורים כאשר במקומות הקלט שלהם יש אסימונים, והתוצאה היא מודל מדויק של מערכות מקביליות, לא־דטרמיניסטיות ומסונכרנות.

Standard Murata 1989 + ISO/IEC 15909-1Engine schematex-petriExport SVG · PNG · PDF
6 תבניות
רשת פטרי דוגמאות לרשתות Petri במערכות מקביליות
Producer / consumer with a bounded buffer — Petri NetProducer / consumer with a bounded buffer — Petri Netרשת פטרישימוש בתבנית →Petri net arc types — Petri NetPetri net arc types — Petri Netרשת פטרישימוש בתבנית →The classic Petri net — concurrency with feedback — Petri NetThe classic Petri net — concurrency with feedback — Petri Netרשת פטרישימוש בתבנית →Order-fulfilment workflow net (WF-net) — Petri NetOrder-fulfilment workflow net (WF-net) — Petri Netרשת פטרישימוש בתבנית →Mutual exclusion with a shared resource — Petri NetMutual exclusion with a shared resource — Petri Netרשת פטרישימוש בתבנית →Firing a transition advances the marking — Petri NetFiring a transition advances the marking — Petri Netרשת פטרישימוש בתבנית →

Nothing close enough? Start from a blank petri net → Describe it in one paragraph.

How to

How to use a petri net template.

  1. 01הגדירו את המקומות ואת האסימונים ההתחלתיים

    תנו שם לכל מצב (מקום) וציינו כמה אסימונים מתחילים בו — אלה מייצגים את מצב המערכת ההתחלתי.

  2. 02הוסיפו את המעברים

    ציינו כל אירוע שמשנה את המצב — מעברים מחברים מקומות קלט (תנאים) למקומות פלט (תוצאות).

  3. 03שרטטו את הקשתות

    תארו אילו מקומות מזינים אילו מעברים ואילו מעברים מייצרים אסימונים בכל מקום.

  4. 04בדקו חיות ובטיחות

    בקשו מה-AI לבדוק אם קיימים קיפאונות (אין מעברים שניתן להפעיל) או מקומות לא בטוחים (יותר אסימונים מהצפוי) במודל שלכם.

FAQ

Questions about petri net templates

מהי רשת Petri?

שפת מידול מתמטית למערכות מקביליות ומבוזרות. עיגולים (מקומות) מייצגים מצבים; מלבנים (מעברים) מייצגים אירועים; חצים מחברים ביניהם; אסימונים במקומות מייצגים את מצב המערכת.

מה הופך רשתות Petri למתאימות יותר מתרשימי זרימה למערכות מקביליות?

רשתות Petri ממדלות באופן פורמלי מקביליות, סנכרון ואי־דטרמיניזם — מושגים שתרשימי זרימה אינם יכולים לייצג במדויק. כמה אסימונים יכולים להתקיים בו־זמנית, וכך ניתן לנתח קיפאון ותנאי מרוץ.

מה פירוש הדבר שמעבר "נורה"?

מעבר נורה כאשר בכל מקומות הקלט שלו נמצאים האסימונים הנדרשים. ההפעלה צורכת אסימון אחד מכל מקום קלט ומייצרת אסימון אחד בכל מקום פלט — וכך משנה את מצב המערכת.