بالنسبة لـ AMS بموارد موثوق بها ، ه

بالنسبة لـ AMS بموارد موثوق بها ، هناك نوعان من أساليب منع الجمود التي تنطوي على استخدام شبكات Petri: تحليل الرسم البياني قابلية الوصول [8-10] والتحليل الهيكلي [11 ، 12]

النتائج (الإنجليزية) 1:

For AMS for reliable resources, there are two methods to prevent inertia involving the use of Petri nets: the graph reachability analysis [8-10] structural analysis [11, 12

النتائج (الإنجليزية) 2:

System-developed liga trails

النتائج (الإنجليزية) 3:

For reliable AMS resources, there are two methods to prevent deadlock, including the use of Petri nets; reachability graph analysis; 8-10; 93; structure analysis; 11-12;