• کمان‌ها^[۴۴]: رابطه بین کمان و گذار را نشان می‌دهد. مثلاً تقاضای خواندن از دیسک را نشان می‌دهد.

• نشانه‌ها یا توکن‌ها^[۴۵]: محلی از سیستم که در حال حاضر در آن قرار داریم را نشان می‌دهد. مثلاً نشان می‌دهد آیا تقاضای خواندن توسط سیستم انجام شده است یا هنوز در مرحله درخواست خواندن قرار دارد.

وظایف اجزای شبکه‌ی پتری
توکن: برای عملکرد سیستم ضروری است. محلی از سیستم که در حال حاضر در آن قرار داریم را نشان می‌دهد.

مکان: برای نگهداری موقت توکن‌ها است.
گذار: مرکز فعالیت است که بر روی توکن اثر می‌گذارد و شاید توکن جدیدی ایجاد کند.
کمان: مسیر حرکت توکن‌ها در گراف شبکه پتری را مشخص می‌کند.
در شکل ۴-۲٫ عملکرد اجزای شبکه پتری را مشاهده می‌نمایید.
مکان خروجی
گذار
مکان ورودی
کمان ورودی
کمان خروجی
توکن
شکل ۴-۲- عملکرد اجزای شبکه پتری
تعریف چهارگانه شبکه‌های پتری
تعریف چهارگانه یک شبکه پتری به طور کلی به صورت C=(P, T, I, O) است.

• P: مجموعه‌ی مکان‌های شبکه را نشان می‌دهد.

• T: مجموعه‌ی گذارهای شبکه را نشان می‌دهد.

• I: مجموعه‌ی تابع‌های^[۴۶] ورودی برای گذارهای شبکه را نشان می‌دهد.

• O: مجموعه‌ی تابع‌های خروجی برای گذارهای شبکه را نشان می‌دهد.

گراف شبکه پتری
از کنار هم قرار دادن و اتصال اجزای شکل ۴-۱ گراف شبکه پتری تشکیل می‌شود که قوانین خاص خود را دارد. بعضی از مهمترین قوانین شبکه پتری عبارتند از:

• هیچ دو انتقالی نمی‌توانند به طور مستقیم به هم متصل شود.

• هیچ دو مکانی نمی‌توانند به طور مستقیم به هم وصل شوند.

• بین هر دو اتصال حتماً می‌بایست یک مکان قرار بگیرد.

در شکل ۴-۳، یک گراف شبکه پتری را مشاهده می‌نمایید. M یا µ_p مجموعه‌ی نشانه‌گذاری‌های^[۴۷] شبکه را نشان می‌دهد. نشانه‌گذاری‌های شبکه همان تعداد توکن‌های هر مکان هستند.
شکل ۴-۳- گراف شبکه پتری
چند مثال از گراف شبکه پتری
در شکل ۴-۴، سیستم عابر بانک با بهره گرفتن از شبکه پتری مدل شده است.
p1
خود پرداز
صف ورود مشتری
صف خروج مشتری
p2
مکان
گذار
شکل ۴-۴- مثال سیستم عابر بانک با گراف شبکه پتری
در شکل ۴-۵ تابع y=f(x) با بهره گرفتن از شبکه پتری مدل شده است.
x
f
y