کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5777244 | 1632576 | 2016 | 4 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Encoding Bigraphical Reactive Systems into Graph Transformation Systems
ترجمه فارسی عنوان
رمزگذاری سیستم های واکنش بی گرافیکی به سیستم های تبدیل گراف
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات گسسته و ترکیبات
چکیده انگلیسی
In this paper, we present a solution for executing bigraphical reactive systems based on an investigation on graph transformation systems. For this, we encode a bigraph into a ranked graph. This encoding is ensured, formally, by defining a faithful functor that allows to move from bigraph category to ranked graph category. Then, we show that reaction rules can be simulated with graph rules.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Discrete Mathematics - Volume 55, November 2016, Pages 207-210
Journal: Electronic Notes in Discrete Mathematics - Volume 55, November 2016, Pages 207-210
نویسندگان
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Kalil Drira,