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

چکیده انگلیسی
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
Journal: IFAC Proceedings Volumes - Volume 39, Issue 17, 2006, Pages 227–232
نویسندگان
Andrei Karatkevich,