کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
721456 892313 2006 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
STUBBORN SET METHOD FOR INTERPRETED PETRI NETS
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
STUBBORN SET METHOD FOR INTERPRETED PETRI NETS
چکیده انگلیسی

Deadlock detection is one of the important problems of analysis of discrete parallel systems. There is an efficient method of deadlock detection in Petri nets known as the stubborn set method. It cannot be directly used for the interpreted Petri nets; such net and its underlying Petri net may have different sets of deadlocks. In the article a method of deadlock detection for the generalized parallel discrete systems is presented with the theoretical results proving its correctness; concretization of the method for the interpreted Petri nets and sequent automata is proposed.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 39, Issue 17, 2006, Pages 227–232
نویسندگان
,