کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5777244 1632576 2016 4 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Encoding Bigraphical Reactive Systems into Graph Transformation Systems
ترجمه فارسی عنوان
رمزگذاری سیستم های واکنش بی گرافیکی به سیستم های تبدیل گراف
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات ریاضیات گسسته و ترکیبات
چکیده انگلیسی

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
نویسندگان
, , , ,