کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
429034 687010 2011 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Boundedness of adaptive nets is decidable
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Boundedness of adaptive nets is decidable
چکیده انگلیسی

Boundedness is a relevant property for adaptive systems: creation, composition and destruction of components at runtime introduce different infiniteness dimensions. In this paper we show the decidability of the boundedness for adaptive nets, a subclass of nested nets enhanced with subprocess composition.


► Adaptive nets introduce the net size unboundedness dimension to nested nets.
► Boundedness of an adaptive nets is reducible to properties of a colored net over finite domain.
► Boundedness for adaptive nets is decidable.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 111, Issue 15, 15 August 2011, Pages 738–743
نویسندگان
,