יוצר רשת פטרי

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

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

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

טוקנים זזים כאשר מעברים נורים. מעבר יכול לירות כאשר לכל המקומות הקלט שלו יש מספיק טוקנים, צורכים טוקנים מהמקומות הקלט ומייצרים טוקנים במקומות הפלט.

מקומות מייצגים מצבי מערכת או תנאים ויכולים להכיל טוקנים, בעוד שמעברים מייצגים אירועים או פעולות שיכולות לשנות את מצב המערכת על ידי הזזת טוקנים.