کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875840 1441988 2017 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Signal set tissue systems and overlapping localities
ترجمه فارسی عنوان
سیگنال مجموعه ای از سیستم های بافت و همپوشانی محل
کلمات کلیدی
محاسبات طبیعی، تنظیم سیستم بافت، سیگنالینگ فوری محل سکونت، همبستگی، سیستم انتقال گام شبکه پتری، سنتز، نظریه مناطق،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
In signal set tissue systems with overlapping localities (ssolt-systems) evolution rules can be associated with several cells. Rules may influence each other through instant signalling and, moreover, they are synchronised when sharing activated cells. The latter is a new feature. We study the behaviour of ssolt-systems in the form of labelled step transition systems. This allows to compare ssolt-systems with and without signalling and overlapping localities. Next the synthesis problem is considered, i.e., the question when given a step transition system, how to effectively construct an ssolt-system exhibiting this behaviour. To this end, ssolt-systems are related to a new class of Petri nets, that are behaviourally equivalent to ssolt-systems. It is shown how certain region based synthesis techniques can be applied to these nets and hence are also available for ssolt-systems.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 701, 21 November 2017, Pages 132-145
نویسندگان
, , ,