مدل‌سازی رسمی[1] از الگوریتم‌های کنترل همروندی در مطالعه ویژگی‌های مختلف آن‌ ها بسیار مفید است (a-Pashazadeh, 2012) و (b-Pashazadeh, 2012). بررسی‌ها نشان می‌دهد که شبکه‌های پتری (PNs)[2] روش مناسبی برای مدل‌سازی رسمی مکانیزم‌های کنترل همروندی می‌باشند. شبکه‌های پتری انواع مختلفی دارند که یکی از آن‌ ها شبکه‌ پتری رنگی (CPN)[3] است. شبکه‌های پتری رنگی یکی […]

  داوودی (Chrysanthemum morifolum L.)  جز گل­های شاخه بریده­ی مهم دنیا است که امروزه رتبه دوم جهانی را پس از گل رز از لحاظ اقتصادی و کشت و کار